Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems.
Harald-Reto FonioPublished in: ADT (1988)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- fault tolerance
- distributed environment
- distributed database systems
- concurrency control
- distributed computing
- mobile agents
- geographically distributed
- concurrent systems
- message passing
- security policies
- database systems
- multidatabase systems
- loosely coupled
- formal specification
- databases
- database
- replicated data
- real time
- transaction processing
- response time
- agent technology
- artificial intelligence
- case study
- digital libraries
- data warehouse