Concurrent Refinement Algebra and Rely Quotients.

Julian Fell Ian J. Hayes Andrius Velykis

Published in: Arch. Formal Proofs (2016)

Keyphrases

data model
algebraic expressions
database
video sequences
relational algebra
machine learning
information systems
distributive lattices
artificial intelligence
database systems
relational databases
refinement process
boolean algebra
algebraic geometry