Bisimulation, games, and logic

DOI10.1007/3-540-58131-6_54zbMath1529.68178OpenAlexW1637767126MaRDI QIDQ6183611

Christian Clausen, Mogens Nielsen

Publication date: 29 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58131-6_54

Mathematics Subject Classification ID

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

Cites Work

• Modeling concurrency with partial orders
• The power of the future perfect in program logics
• Algebraic laws for nondeterminism and concurrency
• Nets, Terms and Formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bisimulation, games, and logic