Causal Termination of Multi-threaded Programs
Abstract elided by the publisher.
Related papers
- Compositional Termination Proofs for Multi-threaded Programs TACAS 2012
- A Concurrent System of Multi-ported Processes with Causal Dependency APLAS 2004
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Modular Verification of Finite Blocking in Non-terminating Programs ECOOP 2015
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- Abstract Interpretation with Unfoldings CAV 2017
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021