scientific article; zbMATH DE number 1059327

MaRDI QIDQ4353634zbMATH OpenFDO

Authors Madhavan Mukund, P. S. Thiagarajan

Publication date 10 September 1997

zbMATH Keywords

distributed systemsmodel checkingtemporal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1114033
• scientific article; zbMATH DE number 1302050
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• scientific article; zbMATH DE number 1969331

Cited in

(11)

• Model checking properties on reduced trace systems
• Time-stamps for Mazurkiewicz traces.
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• scientific article; zbMATH DE number 2088655 (Why is no real title available?)
• scientific article; zbMATH DE number 1302050 (Why is no real title available?)
• scientific article; zbMATH DE number 1114033 (Why is no real title available?)
• scientific article; zbMATH DE number 1969331 (Why is no real title available?)
• scientific article; zbMATH DE number 1361499 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• CONCUR 2005 – Concurrency Theory
• Towards automata for branching time and partial order

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 Q4353634)