scientific article; zbMATH DE number 86273

MaRDI QIDQ4015485zbMATH OpenFDO

Authors Luca Aceto

Publication date 13 January 1993

zbMATH Keywords

labelled stable Event Structuressemantic equivalence for concurrent processes

Mathematics Subject Classification ID

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

Recommendations

• Conflict vs causality in event structures
• Observational equivalences for timed stable event structures
• scientific article; zbMATH DE number 4018369
• Reduction of event structures under history preserving bisimulation
• Causal ambiguity and partial orders in event structures

Cited in

(12)

• Non-interleaving bisimulation equivalences on basic parallel processes
• A study on team bisimulation and H-team bisimulation for BPP nets
• Testing equivalences of time Petri nets
• Verification of finite-state machines: a distributed approach
• Decidability of performance equivalence for basic parallel processes
• Characterising spectra of equivalences for event structures, logically
• scientific article; zbMATH DE number 446848 (Why is no real title available?)
• Reduction of event structures under history preserving bisimulation
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• A parametric approach to localities
• Modelling causality via action dependencies in branching time semantics
• Location equivalence in a parametric setting

This page was built for publication:

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