Step bisimulation is pomset equivalence on a parallel language without explicit internal choice

DOI10.1017/S0960129500000116MaRDI QIDQ4279248zbMATH OpenFDO

Authors Douglas R. Troeger

Publication date 16 February 1994

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500000116

zbMATH Keywords

concurrency modelspomset equivalencestep bisimulation equivalence

Mathematics Subject Classification ID

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

Recommendations

• Distributed bisimulations
• Non-interleaving bisimulation equivalences on basic parallel processes
• scientific article; zbMATH DE number 2020181
• scientific article; zbMATH DE number 1638641

Cites work

• A complete inference system for a class of regular behaviours
• A semantically meaningful characterization of reducible flowchart schemes
• Algebraic and graph theoretic characterizations of structured flowchart schemes
• CIRCAL and the representation of communication, concurrency, and time
• Communicating sequential processes
• Concurrent bisimulations in Petri nets
• Concurrent histories: a basis for observing distributed systems
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Distributed bisimulations
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Modeling concurrency with partial orders
• On lifting Fuchsian Groups
• Petri nets, event structures and domains. I
• Process algebra for synchronous communication

Cited in

(3)

• An equational axiomatization for multi-exit iteration
• The equational logic of fixed points
• A Finite Axiomatization of Nondeterministic Regular Expressions

This page was built for publication: Step bisimulation is pomset equivalence on a parallel language without explicit internal choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4279248)