The Formal System of Dijkstra and Scholten.

Published in: Logic, Rewriting, and Concurrency (2015)

Keyphrases

formal model
machine learning
cooperative
formal methods
databases
data mining
information systems
database systems
multiscale
operational semantics