Compositional reasoning for port-based distributed systems.
Alma L. Juarez DominguezNancy A. DayPublished in: ASE (2005)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- message passing
- load balancing
- geographically distributed
- operating system
- distributed environment
- real time systems
- distributed computing
- distributed database systems
- concurrent systems
- mobile computing
- knowledge base
- mobile agents
- security policies
- data replication
- web services
- deadlock detection
- database
- software development environments
- agent technology
- artificial intelligence