Real space process algebra
- 1 November 1993
- journal article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 5 (6) , 481-529
- https://doi.org/10.1007/bf01211247
Abstract
The real time process algebra of Baeten and Bergstra [ Formal Aspects of Computing , 3 , 142–188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to the required temporal attribute. It is found that asynchronous communication cannot easily be avoided. Based on the state operators of Baeten and Bergstra [ Information and Computation , 78 , 205–245 (1988)] and following Bergstra et al. [ Proc. Seminar on Concurrency , LNCS 197, Springer, 1985, pp. 76–95], asychronous communication mechanisms are introduced as an additional feature of real space process algebra. The overall emphasis is on the introductory explanation of the features of real space process algebra, and characteristic examples are given for each of these.Keywords
This publication has 20 references indexed in Scilit:
- The state operator in real time process algebraPublished by Springer Nature ,1992
- Real time process algebraFormal Aspects of Computing, 1991
- A modular approach to protocol verification using process algebraPublished by Cambridge University Press (CUP) ,1990
- Process algebra semantics of POOLPublished by Cambridge University Press (CUP) ,1990
- A process creation mechanism in process algebraPublished by Cambridge University Press (CUP) ,1990
- Two simple protocolsPublished by Cambridge University Press (CUP) ,1990
- Modular specifications in process algebraPublished by Springer Nature ,1989
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- Process algebra for synchronous communicationInformation and Control, 1984