Tree Schemata and Fair Termination
No abstract available.
DOI 10.1007/978-3-540-45099-3_16
Related papers
- Automatically disproving fair termination of higher-order functional programs ICFP 2016
- Fair Termination of Asynchronous Binary Sessions ECOOP 2025
- Transition predicate abstraction and fair termination TOPLAS 2007
- Detecting Fair Non-termination in Multithreaded Programs CAV 2012
- Fair Termination for Resource-Aware Active Objects APLAS 2025
- Generalized Fair Termination POPL 1984
- Fair Termination of Multiparty Sessions ECOOP 2022
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026