A model and temporal proof system for networks of processes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3980467 (Why is no real title available?)
- scientific article; zbMATH DE number 3755842 (Why is no real title available?)
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3566181 (Why is no real title available?)
- scientific article; zbMATH DE number 3566182 (Why is no real title available?)
- scientific article; zbMATH DE number 1461825 (Why is no real title available?)
- A calculus of communicating systems
- A proof technique for communicating sequential processes
- Proofs of Networks of Processes
- Ten Years of Hoare's Logic: A Survey—Part I
- The incompleteness of Misra and Chandy's proof systems
Cited in
(21)- A multiprocess network logic with temporal and spatial modalities
- Automated temporal reasoning about reactive systems
- Abstract switches: a distributed model of communication and computation
- scientific article; zbMATH DE number 3938554 (Why is no real title available?)
- Towards a complete hierarchy of compositional dataflow models
- scientific article; zbMATH DE number 3956416 (Why is no real title available?)
- scientific article; zbMATH DE number 4056975 (Why is no real title available?)
- An operator net model for distributed systems
- scientific article; zbMATH DE number 3890715 (Why is no real title available?)
- scientific article; zbMATH DE number 1617289 (Why is no real title available?)
- Model-100: specification language for interacting processes
- scientific article; zbMATH DE number 591003 (Why is no real title available?)
- scientific article; zbMATH DE number 139998 (Why is no real title available?)
- scientific article; zbMATH DE number 3862445 (Why is no real title available?)
- A compositional axiomatization of statecharts
- A fully abstract trace model for dataflow and asynchronous networks
- scientific article; zbMATH DE number 3980467 (Why is no real title available?)
- An experience in proving regular networks of processes by modular model checking
- An introduction to compositional methods for concurrency and their application to real-time.
- A new look at the delay network model of program behaviour
- TTL : a formalism to describe local and global properties of distributed systems
This page was built for publication: A model and temporal proof system for networks of processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1079948)
