Reversibility and Models for Concurrency

DOI10.1016/j.entcs.2007.08.018zbMath1278.68220OpenAlexW1995845908MaRDI QIDQ2871832

Irek Ulidowski, Iain Phillips

Publication date: 10 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.018

zbMATH Keywords

labelled transition systemsreversible computationprime event structureshereditary history-preserving bisimulation

Mathematics Subject Classification ID

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

Related Items (20)

A hierarchy of reverse bisimulations on stable configuration structures ⋮ A Verification Technique for Reversible Process Algebra ⋮ Rigid Families for the Reversible $$\pi $$ -Calculus ⋮ Controlled reversibility in communicating reaction systems ⋮ Contextual equivalences in configuration structures and reversibility ⋮ Towards a categorical representation of reversible event structures ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ An axiomatic approach to reversible computation ⋮ Emergence of universal global behavior from reversible local transitions in asynchronous systems ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ Unnamed Item ⋮ Processes against tests: on defining contextual equivalences ⋮ Concurrencies in reversible concurrent calculi

Cites Work

• Unnamed Item
• Models for concurrency: Towards a classification
• The difference between splitting in \(n\) and \(n+1\)
• Bisimulation from open maps
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computation Structures
• Refinement of actions and equivalence notions for concurrent systems

This page was built for publication: Reversibility and Models for Concurrency