Bisimulation and logic

DOI10.1017/CBO9780511792588.005zbMATH Open1285.68113MaRDI QIDQ5411963FDOQ5411963

Authors: Colin Stirling 

Publication date: 25 April 2014

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

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

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• INQUISITIVE BISIMULATION
• Bisimilar and logically equivalent programs in PDL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation as a logical relation
• Origins of bisimulation and coinduction
• Title not available (Why is that?)
• Bisimulations and predicate logic
• A description based on languages of the final non-deterministic automaton
• Analyzing divergence in bisimulation semantics
• BISIMULATIONS FOR KNOWING HOW LOGICS

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)