A Proof System for Brinch Hansen's Distributed Processes.

Marly Roncken Rob Gerth Willem P. de Roever

Published in: GI Jahrestagung (1981)

Keyphrases

cooperative
distributed environment
distributed systems
loosely coupled
peer to peer
fault tolerant
distributed network
distributed architecture
distributed data
computational models
computer networks
model checker
distributed computing
databases
lightweight
metadata
knowledge base
decision making