Timed Automata with Asynchronous Processes: Schedulability and Decidability
Abstract elided by the publisher.
Related papers
- Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata TACAS 2004
- Automata and fixpoints for asynchronous hyperproperties POPL 2021
- Algorithmic verification of asynchronous programs TOPLAS 2012
- Job-Shop Scheduling Using Timed Automata CAV 2001
- On Decidability of Prebisimulation for Timed Automata CAV 2012
- Resource-Optimal Scheduling Using Priced Timed Automata TACAS 2004
- Deciding Subtyping for Asynchronous Multiparty Sessions ESOP 2024
- Verifying liveness for asynchronous programs POPL 2009