Basic Protocols: Specification Language for Distributed Systems.
Alexander A. LetichevskyPublished in: Ershov Memorial Conference (2006)
Keyphrases
- distributed systems
- specification language
- formal specification
- programming language
- description language
- fault tolerant
- load balancing
- distributed environment
- geographically distributed
- real time systems
- software architecture
- fault tolerance
- deadlock detection
- software environment
- distributed computing
- security policies
- agent based systems
- concurrent systems
- mobile agents
- software engineering
- data replication
- software development environments
- distributed database systems
- databases
- intelligent agents
- fine grained
- case study