On logical and concurrent equivalences

DOI10.1016/S1571-0661(04)00215-4zbMath1260.68259OpenAlexW2042252238MaRDI QIDQ4917082

Julian Bradfield, Sibylle Fröschle

Publication date: 26 April 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00215-4

zbMATH Keywords

independencemodal logicconcurrencybranching quantifiers

Mathematics Subject Classification ID

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

Cites Work

• Bisimulation from open maps
• Alternating-time temporal logic
• Compositional semantics for a language of imperfect information
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On logical and concurrent equivalences