Bisimulation and logic

DOI10.1017/CBO9780511792588.005MaRDI QIDQ5411963zbMATHFDO

Authors Colin Stirling

Publication date 25 April 2014

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

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

(13)

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

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)