A completed hierarchy of true concurrent equivalences

DOI10.1016/j.ipl.2003.11.008zbMath1178.68364OpenAlexW2045033210MaRDI QIDQ1029093

Harald Fecher

Publication date: 9 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2003.11.008

zbMATH Keywords

bisimulationconcurrencyhierarchyconfiguration structuressemantic equivalences

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

A hierarchy of reverse bisimulations on stable configuration structures ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Unnamed Item ⋮ Conflict vs causality in event structures ⋮ Event Identifier Logic ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict

Cites Work

• Calculi for synchrony and asynchrony
• Refinement of actions and equivalence notions for concurrent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A completed hierarchy of true concurrent equivalences