Trace consistency and inevitability

DOI10.1007/3-540-62034-6_54zbMATH Open1541.68259MaRDI QIDQ6567776

R. Ramanujam

Publication date: 5 July 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent systems and inevitability
• Defining conditional independence using collapses
• On undecidability of propositional temporal logics on trace systems
• Verification of distributed programs using representative interleaving sequences
• Proving partial order properties
• A partial approach to model checking
• Rational and recognizable complex trace languages
• A logical study of distributed transition systems

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)