Process Algebra for Parallel and Distributed ProcessingMichael Alexander, William Gardner CRC Press, 22 dec 2008 - 440 pagina's 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 |
Inhoudsopgave
Chapter 1 Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs | 3 |
GpH | 47 |
Chapter 3 Refinement of Parallel Algorithms | 77 |
Distributed Systems | 97 |
Chapter 4 Analysis of Distributed Systems with mCRL2 | 99 |
Chapter 5 Business Process Specification and Analysis | 129 |
Chapter 6 Behavioral Specification of Middleware Systems | 161 |
Chapter 7 Abstract Machine for ServiceOriented Mobility | 199 |
Chapter 8 Specifying and Implementing Secure Mobile Applications | 235 |
Embedded Systems | 285 |
Chapter 9 Calculating Concurrency Using Circus | 287 |
A Process Algebraic Approach to Resources and Schedulers | 331 |
Chapter 11 Formal Apporach to Derivation of Concurrent Implementations in Software Product Lines | 359 |
| 403 | |
Back cover | 417 |
Overige edities - Alles bekijken
Process Algebra for Parallel and Distributed Processing Michael Alexander,William Gardner Gedeeltelijke weergave - 2008 |
Process Algebra for Parallel and Distributed Processing Michael Alexander,William Gardner Geen voorbeeld beschikbaar - 2019 |
Process Algebra for Parallel and Distributed Processing Michael Alexander,William Gardner Geen voorbeeld beschikbaar - 2008 |
Veelvoorkomende woorden en zinsdelen
abstract machine action systems Algebra for Parallel algorithm ambient Ambient calculus approach behavior bisimulation blocked buffer business process calculus channel checksum client communication components Computer Science concurrent connector control flow CORBA core data types deadline deadlock defined definition denoted Distributed Processing DiTyCO elements encoding example execution Figure formal function functional programming FXML Handel-C implementation input instruction interaction interface invR invT JAHUEL Lecture Notes LOTOS mCRL2 middleware middleware systems mobile agents mobile applications multicore multiset nesC node noexit Notes in Computer operational semantics operator output Parallel and Distributed parallel composition pi-calculus pipeline Process Algebra process calculi process graph process specification processors programming language refinement refinement calculus resource result rules runtime scheduling Section semantics sequential server software architecture SOMAM StreamIt sumEuler synchronization syntax target term terR terT thread tion transition variable verification