A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming
Abstract elided by the publisher.
Related papers
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Minimum and Maximum Delay Problems in Real-Time Systems CAV 1991
- Computing Accumulated Delays in Real-time Systems CAV 1993
- Stream processing with dependency-guided synchronization PPoPP 2022
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems CAV 2018
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Delay Analysis in Synchronous Programs CAV 1993
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997