Formal Sequentialization of Distributed Systems via Program Rewriting.
Miquel BertranFrancesc-Xavier BabotAugust ClimentPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- mobile agents
- load balancing
- fault tolerance
- distributed computing
- message passing
- operating system
- conjunctive queries
- data replication
- security policies
- loosely coupled
- geographically distributed
- deadlock detection
- databases
- real time systems
- multi agent
- distributed database systems
- agent based systems
- concurrent systems