Determinism (event structure isomorphism = step sequence equivalence)

DOI10.1016/0304-3975(91)90333-WMaRDI QIDQ2638769zbMATH OpenFDO

Authors F. Vaandrager

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90333-W

zbMATH Keywords

concurrent systemevent structuresinterleaved equivalences

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Denotational, causal, and operational determinism in event structures
• scientific article; zbMATH DE number 23767
• Concurrent systems and inevitability
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Causal testing

Cites work

• A calculus of communicating systems
• Algebra of communicating processes with abstraction
• Algèbre de processus et synchronisation
• Axiomatising Finite Concurrent Processes
• Concurrency and atomicity
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• scientific article; zbMATH DE number 4018369 (Why is no real title available?)
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4180788 (Why is no real title available?)
• scientific article; zbMATH DE number 3896328 (Why is no real title available?)
• scientific article; zbMATH DE number 3958739 (Why is no real title available?)
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• scientific article; zbMATH DE number 3990850 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4087033 (Why is no real title available?)
• scientific article; zbMATH DE number 4110070 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 1988986 (Why is no real title available?)
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• Sequential and concurrent behaviour in Petri net theory

Cited in

(9)

• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Concurrent systems and inevitability
• When is partial trace equivalence adequate?
• The difference between splitting in \(n\) and \(n+1\)
• Step bisimulation is pomset equivalence on a parallel language without explicit internal choice
• Rule formats for determinism and idempotence
• scientific article; zbMATH DE number 7453961 (Why is no real title available?)
• Confluence thanks to extensional determinism
• Denotational, causal, and operational determinism in event structures

This page was built for publication: Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)

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