On logical and concurrent equivalences

DOI10.1016/S1571-0661(04)00215-4MaRDI QIDQ4917082zbMATH OpenOpenAlexFDO

Authors 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

independenceconcurrencymodal logicbranching 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)

Recommendations

• scientific article; zbMATH DE number 3956409
• scientific article; zbMATH DE number 859797
• Publication:4896505
• Equivalences among logics of programs
• Logics with counting and equivalence
• scientific article; zbMATH DE number 1670481
• Equality propositional logic and its extensions
• scientific article; zbMATH DE number 975273
• Equivalence of consequence operations
• Equivalence relations and determinacy

Cites work

• scientific article; zbMATH DE number 1670481 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 1078592 (Why is no real title available?)
• scientific article; zbMATH DE number 1476492 (Why is no real title available?)
• scientific article; zbMATH DE number 1418351 (Why is no real title available?)
• Alternating-time temporal logic
• Bisimulation from open maps
• Compositional semantics for a language of imperfect information

Cited in

(1)

• On the logic of factual equivalence

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

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