Action Refinement from a Logical Point of View
No abstract available.
Related papers
- A Logical View of Composition and Refinement POPL 1991
- Call-By-Push-Value from a Linear Logic Point of View ESOP 2016
- The Point of View Notion for Multiple Inheritance OOPSLA 1990
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Constraint Logic Programming POPL 1987
- A relational theory of effects and coeffects POPL 2022
- Contextual refinement of the Michael-Scott queue (proof pearl) CPP 2021
- RAT-CAT-SAT: Model Checking Memory Consistency Models OOPSLA 2026