Restructuring a Concurrent Refinement Algebra.

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

Published in: RAMiCS (2024)

Keyphrases

data model
relational algebra
algebraic expressions
data sets
query language
expert systems
search algorithm
boolean algebra
information systems
mutual exclusion
algebraic structure
multi agent systems
neural network
refinement process
algebraic geometry
concurrent programs
algebraic structures
databases