Split and ST bisimulation semantics

DOI10.1006/inco.1995.1066zbMath0826.68077OpenAlexW1970071839MaRDI QIDQ1892889

Cosimo Laneve, Roberto Gorrieri

Publication date: 10 July 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/986b42c05b80bcb64115215ef98d9f09c94f2b8f

zbMATH Keywords

bisimulationaction atomicity

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

The difference between splitting in \(n\) and \(n+1\), Unnamed Item, A theory of processes with durational actions, Unnamed Item, On the semantics of durational actions, Vertical implementation