Compositional Refinements in Multiple Blackboard Systems
Abstract elided by the publisher.
Related papers
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Semantic reasoning about feature composition via multiple aspect-weavings GPCE 2006
- Refinement Composition Logic ICFP 2024
- Foundational and Compositional Verification of Layered Concurrent Objects ECOOP 2026
- The Concurrent Language, Shared Prolog TOPLAS 1991
- Communication as Fair Distribution of Knowledge OOPSLA 1991
- Compositional programming and testing of dynamic distributed systems OOPSLA 2018