Reversible Communicating Systems.

Vincent Danos Jean Krivine

Published in: CONCUR (2004)

Keyphrases

markov chain
three dimensional
computer systems
systems require
databases
information systems
decision making
decision trees
intelligent systems
knowledge based systems
business processes
complex systems