Restructuring a concurrent refinement algebra.

Ian J. Hayes Larissa A. Meinicke Nasos Evangelou-Oost

Published in: CoRR (2024)

Keyphrases

algebraic expressions
query language
set theory
mutual exclusion
relational algebra
laplace transform
artificial intelligence
database systems
similarity measure
search algorithm
data model
boolean algebra
algebraic geometry