scientific article; zbMATH DE number 1497792

zbMath0966.68014MaRDI QIDQ4499210

Wojciech Penczek, Stanisław Ambroszkiewicz

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checking algorithm

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites Work

• Agreeing to disagree
• Modelling knowledge and action in distributed systems
• A logical study of distributed transition systems
• Knowledge and common knowledge in a distributed environment
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
• Knowledge-based programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: