The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.

Hartmann J. Genrich Kurt Lautenbach

Published in: Semantics of Concurrent Computation (1979)

Keyphrases

distributed systems
distributed environment
operating system
fault tolerant
fault tolerance
distributed database systems
distributed computing
database
database systems
mobile computing
security policies
loosely coupled