On logical and concurrent equivalences

DOI10.1016/S1571-0661(04)00215-4zbMATH Open1260.68259OpenAlexW2042252238MaRDI QIDQ4917082FDOQ4917082

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

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

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)

Cites Work

• Alternating-time temporal logic
• Compositional semantics for a language of imperfect information
• Title not available (Why is that?)
• Bisimulation from open maps
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)