Reasoning about Multi-process Systems with the Box Calculus.

Greg Michaelson Gudmund Grov

Published in: CEFP (2011)

Keyphrases

neural network
data structure
distributed systems
computer systems
knowledge based systems
building blocks
databases
information retrieval
case study
complex systems
development process