A technique for distributed systems specification.
José A. TroyanoJesús TorresMiguel ToroPublished in: PDP (1995)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- load balancing
- distributed computing
- mobile agents
- distributed environment
- software architecture
- geographically distributed
- operating system
- concurrent systems
- deadlock detection
- real time systems
- message passing
- formal specification
- distributed database systems
- loosely coupled
- security policies
- mobile computing