Encoding Distributed Process Calculi into LMNtal.

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

fault tolerant
distributed systems
artificial intelligence
databases
genetic algorithm
knowledge base
database systems
cooperative
distributed environment
computer networks