Spatial-behavioral types for concurrency and resource control in distributed systems.
Luís CairesPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- distributed systems
- geographically distributed
- load balancing
- fault tolerant
- message passing
- concurrent systems
- distributed computing
- mobile agents
- distributed environment
- fault tolerance
- real time systems
- control system
- distributed database systems
- concurrency control
- operating system
- modular robots
- spatial data
- data replication
- management system
- replicated data
- database systems
- deadlock detection
- resource management
- resource allocation
- agent technology
- data availability