An Introduction to Estelle: A Specification Language for Distributed Systems.
Stanislaw BudkowskiPiotr DembinskiPublished in: Comput. Networks (1987)
Keyphrases
- distributed systems
- specification language
- description language
- formal specification
- programming language
- software architecture
- fault tolerant
- geographically distributed
- fault tolerance
- load balancing
- distributed database systems
- distributed computing
- distributed environment
- software environment
- mobile agents
- security policies
- concurrent systems
- loosely coupled
- replicated data
- information systems
- deadlock detection
- data replication
- real time systems
- petri net
- response time