Adding partial orders to linear temporal logic

DOI10.1007/3-540-63141-0_9zbMath1512.68148MaRDI QIDQ6044113

Girish S. Bhat, Doron A. Peled

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

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

• Unnamed Item
• Unnamed Item
• Modeling concurrency with partial orders
• Verification of distributed programs using representative interleaving sequences
• First-order dynamic logic
• Proving partial order properties
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION

This page was built for publication: Adding partial orders to linear temporal logic