Formal timing analysis of distributed systems
From MaRDI portal
Publication:1193762
DOI10.1007/BF01407838zbMath0761.68061MaRDI QIDQ1193762
Publication date: 27 September 1992
Published in: International Journal of Parallel Programming (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- The temporal logic of branching time
- A multiprocess network logic with temporal and spatial modalities
- Interleaving set temporal logic
- Knowledge and common knowledge in a distributed environment
- “Sometimes” and “not never” revisited
- Time, clocks, and the ordering of events in a distributed system
- Unnamed Item
- Unnamed Item
- Unnamed Item