Grid protocols based on synchronous communication
- 31 July 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 29 (1-2) , 199-233
- https://doi.org/10.1016/s0167-6423(96)00035-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebrasJournal of the ACM, 1995
- Basic Process Algebra with Iteration: Completeness of its Equational AxiomsThe Computer Journal, 1994
- Process Algebra with Iteration and NestingThe Computer Journal, 1994
- The PSF toolkitComputer Networks and ISDN Systems, 1993
- Top-down design and the algebra of communicating processesScience of Computer Programming, 1985
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985