Refinement of Kripke Models for Dynamics

DOI10.1007/978-3-540-85762-4_8zbMath1161.68616OpenAlexW2148725542MaRDI QIDQ5505597

Francien Dechesne, Yanjing Wang, Simona Orzan

Publication date: 27 January 2009

Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/12691

Mathematics Subject Classification ID

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

Related Items (2)

To know or not to know: Epistemic approaches to security protocol verification ⋮ Automatic Data-Abstraction in Model Checking Multi-Agent Systems

Cites Work

• Logics of communication and change
• Dynamic epistemic logic
• Update semantics of security protocols
• Logics for epistemic programs
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• A logic of authentication
• Algebraic Methodology and Software Technology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refinement of Kripke Models for Dynamics