A logic with reverse modalities for history-preserving bisimulations

zbMATH Open1457.68193arXiv1108.4470MaRDI QIDQ4965863FDOQ4965863

Authors: Iain Phillips, Irek Ulidowski 

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1108.4470

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

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)

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
• Title not available (Why is that?)

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)