Compositional Semantics of Non-Deterministic Synchronous Languages
No abstract available.
Related papers
- Transactional events ICFP 2006
- Transactional events JFP 2008
- Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC TOPLAS 2023
- A Robust Theory of Series Parallel Graphs POPL 2023
- Safe nondeterminism in a deterministic-by-default parallel language POPL 2011
- Algebras for Deterministic Computation Are Inherently Incomplete POPL 2025
- Semantics-aware scheduling policies for synchronization determinism PPoPP 2019
- A Theory of Synchronous Relational Interfaces TOPLAS 2011