Unfolding Concurrent Well-Structured Transition Systems
Abstract elided by the publisher.
Related papers
- Recursive Subtyping for All POPL 2023
- Recursive subtyping for all JFP 2025
- Ideal Abstractions for Well-Structured Transition Systems VMCAI 2012
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Fold and Unfold for Program Semantics ICFP 1998
- Abstract Interpretation with Unfoldings CAV 2017
- Verification of Concurrent Programs Using Petri Net Unfoldings VMCAI 2021
- An unfold/fold transformation framework for definite logic programs TOPLAS 2004