Reverse bisimulations on stable configuration structures

MaRDI QIDQ5150131zbMATH OpenFDO

Authors Iain Phillips, Irek Ulidowski

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A hierarchy of reverse bisimulations on stable configuration structures
• Reversible barbed congruence on configuration structures
• Contextual equivalences in configuration structures and reversibility
• A logic with reverse modalities for history-preserving bisimulations
• scientific article; zbMATH DE number 70113

Cited in

(6)

• Schedulers and finishers: on generating and filtering the behaviours of an event structure
• Reversibility in the higher-order \(\pi\)-calculus
• A hierarchy of reverse bisimulations on stable configuration structures
• Contextual equivalences in configuration structures and reversibility
• scientific article; zbMATH DE number 70113 (Why is no real title available?)
• Reversible barbed congruence on configuration structures

This page was built for publication: Reverse bisimulations on stable configuration structures

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