scientific article; zbMATH DE number 1497792

MaRDI QIDQ4499210zbMATH OpenFDO

Authors Wojciech Penczek, Stanislaw Ambroszkiewicz

Publication date 5 March 2001

zbMATH Keywords

model checking algorithm

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 2087373
• Formal Reasoning About Causality Analysis
• A formal framework for causal modeling and argumentation
• Verification of causal models using petri nets
• The Causal Graph Revisited for Directed Model Checking
• Model checking concurrency and causality
• Model checking using description logic
• scientific article; zbMATH DE number 1467490

Cites work

• A logical study of distributed transition systems
• Agreeing to disagree
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1202873 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge and common knowledge in a distributed environment
• Knowledge-based programs
• Linear time temporal logics over Mazurkiewicz traces
• Model checking logics for communicating sequential agents
• Modelling knowledge and action in distributed systems
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

Cited in

(5)

• The Causal Graph Revisited for Directed Model Checking
• Model checking logics for communicating sequential agents
• Temporal approach to causal knowledge
• scientific article; zbMATH DE number 2087373 (Why is no real title available?)
• Model Checking Knowledge and Linear Time: PSPACE Cases

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