Trace Semantics for IPDL
DOI10.1007/978-3-662-48561-3_14zbMATH Open1471.68167OpenAlexW2293999987MaRDI QIDQ3457701FDOQ3457701
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
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
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)
Cites Work
- Propositional dynamic logic of regular programs
- Process algebra for synchronous communication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of communicating systems
- A Theory of Communicating Sequential Processes
- Modelling simultaneous games in dynamic logic
- Descriptively complete process logic
- Process logic: Expressiveness, decidability, completeness
Cited In (2)
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)
