Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems.
Carlos BazílioEdward Hermann HaeuslerMarkus EndlerPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- distributed systems
- formal analysis
- fault tolerant
- geographically distributed
- fault tolerance
- distributed environment
- load balancing
- agent model
- mobile agents
- formal methods
- case study
- concurrent systems
- distributed computing
- real time systems
- software architecture
- operating system
- loosely coupled
- data replication
- deadlock detection
- distributed database systems
- security protocols
- object oriented
- database systems