Concurrency Can't Be Observed, Asynchronously
No abstract available.
Related papers
- Enabling Additional Parallelism in Asynchronous JavaScript Applications ECOOP 2021
- Implicit invocation meets safe, implicit concurrency GPCE 2010
- Static Analysis of Communication for Asynchronous Concurrent Programming Languages SAS 1995
- BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems TACAS 2000
- TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems CAV 2005
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ESOP 2017
- Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers POPL 2024
- Applying the concurrent collections programming model to asynchronous parallel dense linear algebra PPoPP 2010