Login / Signup
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