A logic with reverse modalities for history-preserving bisimulations

MaRDI QIDQ4965863zbMATH OpenFDO

Authors Iain Phillips, Irek Ulidowski

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.4470, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Event identifier logic
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• Behavioural logics for configuration structures
• A logic for true concurrency
• A logic for true concurrency

Cited in

(12)

• Reversibility in the higher-order \(\pi\)-calculus
• Behavioural logics for configuration structures
• ST-structures
• A hierarchy of reverse bisimulations on stable configuration structures
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• Reverse bisimulations on stable configuration structures
• Minimal transition systems for history-preserving bisimulation
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Characterising spectra of equivalences for event structures, logically
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Event identifier logic
• scientific article; zbMATH DE number 1954392 (Why is no real title available?)

This page was built for publication: A logic with reverse modalities for history-preserving bisimulations

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