Reasoning about distributive laws in a concurrent refinement algebra.
Larissa A. MeinickeIan J. HayesPublished in: CoRR (2024)
Keyphrases
- distributive lattices
- boolean algebra
- concurrent actions
- data model
- belief functions
- general theory
- algebraic expressions
- refinement process
- real numbers
- spatial reasoning
- mutual exclusion
- data sets
- algebraic structure
- concurrent execution
- qualitative reasoning
- concurrent programs
- relational algebra
- spatial representation and reasoning
- formal theory
- refinement step