Bisimulation and logic

DOI10.1017/CBO9780511792588.005MaRDI QIDQ5411963zbMATH OpenFDO

Authors Colin Stirling

Publication date 25 April 2014

Published in Advanced Topics in Bisimulation and Coinduction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/CBO9780511792588.005

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation as a logical relation
• Origins of bisimulation and coinduction
• scientific article; zbMATH DE number 1222559
• Modal logics for mobile processes
• scientific article; zbMATH DE number 2020181

Cited in

(16)

• Modality, bisimulation and interpolation in infinitary logic
• Bisimulations for temporal logic
• A description based on languages of the final non-deterministic automaton
• Bisimilar and logically equivalent programs in PDL
• scientific article; zbMATH DE number 6115908 (Why is no real title available?)
• Bisimulations and predicate logic
• scientific article; zbMATH DE number 2020181 (Why is no real title available?)
• scientific article; zbMATH DE number 1488152 (Why is no real title available?)
• scientific article; zbMATH DE number 1500662 (Why is no real title available?)
• scientific article; zbMATH DE number 7015161 (Why is no real title available?)
• scientific article; zbMATH DE number 1828003 (Why is no real title available?)
• INQUISITIVE BISIMULATION
• Bisimulation as a logical relation
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Analyzing divergence in bisimulation semantics
• Origins of bisimulation and coinduction

This page was built for publication: Bisimulation and logic

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