Process Algebra for Parallel and Distributed ProcessingMichael Alexander, William Gardner Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning-process algebra-has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Pr |
Other editions - View all
Process Algebra for Parallel and Distributed Processing Michael Alexander,William Gardner No preview available - 2019 |
Process Algebra for Parallel and Distributed Processing Michael Alexander,William Gardner No preview available - 2008 |
Common terms and phrases
abstract machine action systems algorithm ambient Ambient calculus approach behavior bisimulation blocked buffer business process calculus channel checksum client code graphs communication components Computer Science concurrent connector control flow CORBA core corresponding data types deadline deadlock defined definition denoted distributed DiTyCO elements encoding evaluation example execution Figure formal function functional programming FXML given Handel-C heap hypergraph implementation input instruction interaction interface invR invT JAHUEL Lecture Notes LOTOS mCRL2 middleware mobile agents multiaction multicore multiset nesC node noexit Notes in Computer operational semantics operator output parallel composition pipeline process algebras process graph processors programming language receiver reduction refinement refinement calculus resource result rules runtime scheduling Section semantics sequential server signal software architecture SOMAM strategy StreamIt structure sumEuler synchronization syntax target term terR terT thread TinyOS tion tracker transformation transition variable verification