scientific article; zbMATH DE number 177840

MaRDI QIDQ4038718zbMATH OpenFDO

Authors Doron Peled, Amir Pnueli

Publication date 18 May 1993

zbMATH Keywords

interleaving setpartial order semanticstemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proving partial order properties
• scientific article; zbMATH DE number 4119602
• Adding partial orders to linear temporal logic
• scientific article; zbMATH DE number 1337727
• scientific article; zbMATH DE number 177513

Cited in

(15)

• 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
• Petri nets, traces, and local model checking
• scientific article; zbMATH DE number 1670510 (Why is no real title available?)
• scientific article; zbMATH DE number 177254 (Why is no real title available?)
• scientific article; zbMATH DE number 1337727 (Why is no real title available?)
• scientific article; zbMATH DE number 1536568 (Why is no real title available?)
• scientific article; zbMATH DE number 4119602 (Why is no real title available?)
• Petri nets, traces, and local model checking
• Proving Liveness by Backwards Reachability
• Adding partial orders to linear temporal logic
• Using the causal domain to specify and verify distributed programs
• Graph rewriting for a partial ordering semantics of concurrent constraints programming

This page was built for publication:

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