Formal timing analysis of distributed systems

DOI10.1007/BF01407838zbMath0761.68061OpenAlexW2052693801MaRDI QIDQ1193762

S. Singh

Publication date: 27 September 1992

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01407838

zbMATH Keywords

real-timedistributed programmingdistributed logicreal time behaviour of distributed systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Formal timing analysis of distributed systems