Top-down design and the algebra of communicating processes
Science of Computer Programming - Ellis Horwood series in artificial intelligence
Solving problems on concurrent processors. Vol. 1: General techniques and regular problems
Solving problems on concurrent processors. Vol. 1: General techniques and regular problems
Process algebra
Journal of the ACM (JACM)
Grid protocols based on synchronous communication
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Communication and Concurrency
Proof Theory for muCRL: A Language for Processes with Data
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Axiomatizations for the Perpetual Loop in Process Algebra
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Deductive Hardware Design: A Functional Approach
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
| Hi-index | 0.00 |
A grid protocol models concurrent computation, and consists of one or more modules repeatedly performing parallel I/O and computation. We provide several concise specification formats and correctness results on (external) I/O behaviour, and illustrate our approach by examples. Note: Some of the results described in this paper were published earlier in [BHP97]; other results were established by students in the '96/'97 course Process Algebra II delivered at the University of Amsterdam [BJM97], and in a master's thesis [Pou97].