scientific article; zbMATH DE number 1497792

zbMATH Open0966.68014MaRDI QIDQ4499210FDOQ4499210

Authors: Wojciech Penczek, Stanislaw Ambroszkiewicz 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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
• Publication:4488092

zbMATH Keywords

model checking algorithm

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Agreeing to disagree
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Title not available (Why is that?)
• Knowledge and common knowledge in a distributed environment
• Title not available (Why is that?)
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
• Modelling knowledge and action in distributed systems
• Knowledge-based programs
• A logical study of distributed transition systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Temporal approach to causal knowledge
• The Causal Graph Revisited for Directed Model Checking
• 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)