An Algebra of Boolean Processes
No abstract available.
Related papers
- Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation SAS 1994
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Qualified Types with Boolean Algebras OOPSLA 2025
- MLstruct: principal type inference in a Boolean algebra of structural types OOPSLA 2022
- Software Merge: Semantics of Combining Changes to Programs TOPLAS 1994
- The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types POPL 2026
- Monadic second-order logic on finite sequences POPL 2017
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021