A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems.
Günter KarjothPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- distributed systems
- description language
- formal treatment
- software architecture
- load balancing
- fault tolerant
- fault tolerance
- web services
- distributed environment
- geographically distributed
- distributed computing
- deadlock detection
- mobile agents
- description languages
- active databases
- distributed database systems
- action language
- data replication
- software engineering
- machine learning
- planning domains
- communication protocol
- database
- concurrent systems
- state space