Trace Semantics for IPDL

DOI10.1007/978-3-662-48561-3_14MaRDI QIDQ3457701zbMATH OpenOpenAlexFDO

Authors Fengkui Ju, Nana Cui, 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)

Recommendations

• Trace semantics via determinization
• Trace semantics via determinization
• A trace semantics for Petri nets
• Trace semantics via generic observations
• A trace semantics for Petri Nets
• A compositional trace logic for behavioural interface specifications
• A partial trace semantics for Petri nets
• A Fully Abstract Trace Semantics for General References
• Generic Trace Semantics via Coinduction
• Dynamic logic with trace semantics

Cites work

• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Descriptively complete process logic
• scientific article; zbMATH DE number 3876574 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Modelling simultaneous games in dynamic logic
• Process algebra for synchronous communication
• Process logic: Expressiveness, decidability, completeness
• Propositional dynamic logic of regular programs

Cited in

(2)

• Computable execution traces
• Execution trace sets for real computation

This page was built for publication: Trace Semantics for IPDL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457701)