Trace Semantics for IPDL

DOI10.1007/978-3-662-48561-3_14zbMath1471.68167OpenAlexW2293999987MaRDI QIDQ3457701

Nana Cui, Fengkui Ju, Shujiao Li

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_14

zbMATH Keywords

concurrencyintersectionpropositional dynamic logictrace semantics

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

Computable execution traces ⋮ Execution trace sets for real computation

Cites Work

• Modelling simultaneous games in dynamic logic
• Descriptively complete process logic
• A calculus of communicating systems
• Process logic: Expressiveness, decidability, completeness
• Propositional dynamic logic of regular programs
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item