Communicating sequential processes
Communicating sequential processes
Proof, language, and interaction
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Process Algebra with Asynchronous Communication Mechanisms
Seminar on Concurrency, Carnegie-Mellon University
Synchronous Programming of Reactive Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Protocol synthesis using basic Lotos and global variables
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
| Hi-index | 0.01 |
We use a small example to discuss how two different formal modeling languages address the interaction between data and behavior using parallel composition. We use this discussion to highlight the distinction between synchronous and asynchronous semantics of parallel composition, a distinction not hitherto properly discussed in the context defining the interaction between behavior and global or shared data. We discuss some uses of parallel composition in systems engineering, and some considerations that determine whether synchronous or asynchronous semantics are best aligned to these uses.