An Asynchronous Algebra with Multiple Clocks
No abstract available.
Related papers
- Asynchronous Modal FRP ICFP 2023
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Process Algebraic Specification of the New Asynchronous CORBA Messaging Service ECOOP 1999
- Applying the concurrent collections programming model to asynchronous parallel dense linear algebra PPoPP 2010
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Asynchronous effects POPL 2021
- Versatile event correlation with algebraic effects ICFP 2018
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications VMCAI 2012