
doi: 10.1007/bf01178730
For Milner's CCS several noninterleaving semantics have been proposed among which causal bisimulations [\textit{P. Darondeau} and \textit{P. Degano}, Lect. Notes Comput. Sci. 452, 239-245 (1990; Zbl 0733.68027)] and location equivalence [\textit{G. Boudol}, \textit{I. Castellani}, \textit{M. Hennessy} and \textit{A. Kiehn}, Theor. Comput. Sci. 114, No. 1, 31-61 (1993; Zbl 0783.68072)] play a central role. To unify these two approaches this paper introduces a new transition system based on local and global causes. Bisimulation equivalence is parameterized by a function \(f\) which evaluates the information on causes provided by the transitions. Appropriate instantiations of \(f\) yield characterizations of causal bisimulations and location equivalence.
causal bisimulations, Semantics in the theory of computing, noninterleaving semantics
causal bisimulations, Semantics in the theory of computing, noninterleaving semantics
| 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). | 26 | |
| 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% |
