Identification of distributed systems with logical interaction structure.
Simone MartiniAdriano FagioliniLaura GiarréAntonio BicchiPublished in: CDC (2012)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- geographically distributed
- fault tolerance
- message passing
- distributed computing
- operating system
- real time systems
- distributed database systems
- logical structure
- deadlock detection
- agent technology
- mobile computing
- security policies
- real time
- model checking
- mobile agents
- replicated data
- concurrent systems