Abstraction of Clocks in Synchronous Data-Flow Systems
Abstract elided by the publisher.
Related papers
- Synchronous Kahn Networks ICFP 1996
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach ESOP 2018
- Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems SAS 2006
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems TOPLAS 1984
- The transactional manifesto: software engineering and non-blocking synchronization PLDI 2005
- Implementation of the Data-Flow Synchronous Language SIGNAL PLDI 1995
- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL CAV 2021