A completed hierarchy of true concurrent equivalences

DOI10.1016/J.IPL.2003.11.008zbMATH Open1178.68364OpenAlexW2045033210MaRDI QIDQ1029093FDOQ1029093

Authors: 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

hierarchyconcurrencybisimulationconfiguration structuressemantic equivalences

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculi for synchrony and asynchrony
• Refinement of actions and equivalence notions for concurrent systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Conflict vs causality in event structures
• A hierarchy of reverse bisimulations on stable configuration structures
• Characterising spectra of equivalences for event structures, logically
• Event identifier logic
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• Title not available (Why is that?)

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

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