State Space Reduction by Proving Confluence
No abstract available.
DOI 10.1007/3-540-45657-0_50
Related papers
- The lambda-calculus with constructors: Syntax, confluence and separation JFP 2009
- Confluence Reduction for Probabilistic Systems TACAS 2011
- Uniform confluence in concurrent computation JFP 2000
- Call-by-push-value in coq: operational, equational, and denotational theory CPP 2019
- Call-by-name extensionality and confluence JFP 2017
- Optimistic Synchronization-Based State-Space Reduction TACAS 2003
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction VMCAI 2013
- State Space Reduction Based on Live Variables Analysis SAS 1999