Integrated analysis of concurrent distributed systems using Markovian process algebra.

Marco Bernardo Lorenzo Donatiello Roberto Gorrieri

Published in: FORTE (1994)

Keyphrases

distributed systems
concurrent systems
process algebra
fault tolerant
distributed database systems
distributed environment
fault tolerance
real time
mobile agents
geographically distributed
deadlock detection
knowledge base
software systems
loosely coupled
data replication
concurrent programs