Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems
No abstract available.
Related papers
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Abstraction of Clocks in Synchronous Data-Flow Systems APLAS 2008
- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach ESOP 2018
- The transactional manifesto: software engineering and non-blocking synchronization PLDI 2005
- Send to me first: Priority in synchronous message-passing JFP 2022
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems TOPLAS 1984
- A Model and Temporal Proof System for Networks of Processes POPL 1985
- Synchronous Kahn Networks ICFP 1996