Reversible barbed congruence on configuration structures

MaRDI QIDQ5216153zbMATH OpenFDO

Authors Clément Aubert, Ioana Cristescu

Publication date 14 February 2020

Full work available at URL https://arxiv.org/abs/1508.04852, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.7

Mathematics Subject Classification ID

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

Recommendations

• Contextual equivalences in configuration structures and reversibility
• A hierarchy of reverse bisimulations on stable configuration structures
• Reverse bisimulations on stable configuration structures
• Reversibility and models for concurrency
• Barbed bisimulation

Cited in

(5)

• Concurrencies in reversible concurrent calculi
• A hierarchy of reverse bisimulations on stable configuration structures
• Contextual equivalences in configuration structures and reversibility
• Reverse bisimulations on stable configuration structures
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus

This page was built for publication: Reversible barbed congruence on configuration structures

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