An algebra of synchronous atomic steps.

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

Published in: CoRR (2016)

Keyphrases

databases
relational algebra
algebraic expressions
artificial intelligence
social networks
web pages
image processing
high level
boolean algebra