Trace consistency and inevitability
From MaRDI portal
Publication:6567776
DOI10.1007/3-540-62034-6_54zbMATH Open1541.68259MaRDI QIDQ6567776FDOQ6567776
Authors: R. Ramanujam 
Publication date: 5 July 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Rational and recognizable complex trace languages
- On undecidability of propositional temporal logics on trace systems
- Proving partial order properties
- Title not available (Why is that?)
- A partial approach to model checking
- Defining conditional independence using collapses
- A logical study of distributed transition systems
- Verification of distributed programs using representative interleaving sequences
- Concurrent systems and inevitability
This page was built for publication: Trace consistency and inevitability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567776)
