Compositionality Entails Sequentializability
No abstract available.
Related papers
- Proving Entailment Between Conceptual State Specifications ESOP 1986
- Entailment with Conditional Equality Constraints ESOP 2001
- Existential Heap Abstraction Entailment Is Undecidable SAS 2003
- Frame Inference for Inductive Entailment Proofs in Separation Logic TACAS 2018
- Compositional Entailment Checking for a Fragment of Separation Logic APLAS 2014
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022
- Calculating-Confluence Compositionally CAV 2003
- Computing Abstractions of Infinite State Systems Compositionally and Automatically CAV 1998