Comparing locality and causality based equivalences (Q1342503): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A static view of localities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concurrency and atomicity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3805920 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of processes with localities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Observing localities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3817586 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributed bisimulations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A partial ordering semantics for CCS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets with individual tokens / rank | |||
Normal rank |
Latest revision as of 11:24, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Comparing locality and causality based equivalences |
scientific article |
Statements
Comparing locality and causality based equivalences (English)
0 references
16 February 1995
0 references
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.
0 references
noninterleaving semantics
0 references
causal bisimulations
0 references