An Algebra of Synchronous Atomic Steps.

Ian J. Hayes Robert J. Colvin Larissa A. Meinicke Kirsten Winter Andrius Velykis

Published in: FM (2016)

Keyphrases

relational algebra
genetic algorithm
data model
database
knowledge base
asynchronous communication
algebraic expressions
relation algebra