A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract)
No abstract available.
Related papers
- Distributed Coalgebraic Partition Refinement TACAS 2022
- Freefinement POPL 2012
- Refining Reduction in the Lambda Calculus JFP 1995
- Property-Driven Partitioning for Abstraction Refinement TACAS 2007
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- Input-Based Three-Valued Abstraction Refinement VMCAI 2026
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow SAS 1998
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020