Grounding Synchronous Deterministic Concurrency in Sequential Programming
No abstract available.
Related papers
- Concurrency-aware object-oriented programming with roles OOPSLA 2018
- Modular reasoning for deterministic parallelism POPL 2011
- Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C CAV 2019
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts PLDI 2014
- Imperative Streams - A Monadic Combinator Library for Synchronous Programming ICFP 1998
- Transformations of CCP programs TOPLAS 2001
- Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC TOPLAS 2023
- Delay-bounded scheduling POPL 2011