
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.
Broadcasting, State operator, Semantics in the theory of computing, Process algebra, Real space process algebra, Wijsbegeerte, Asynchronous communication, Priorities, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Real time process algebra, Parallel algorithms in computer science
Broadcasting, State operator, Semantics in the theory of computing, Process algebra, Real space process algebra, Wijsbegeerte, Asynchronous communication, Priorities, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Real time process algebra, Parallel algorithms in computer science
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 23 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
