True Concurrency via Abstract Interpretation
No abstract available.
DOI 10.1007/bfb0032743
Related papers
- CCAL: An interpreted language for experimentation in concurrent control PLDI 1987
- Verification and Design Aspects of "True" Concurrency POPL 1978
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation SAS 1998
- Abstracting definitional interpreters (functional pearl) ICFP 2017
- Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory PPoPP 2008
- Modeling Concurrency with Geometry POPL 1991
- A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs SAS 2011