Information flow: the logic of distributed systems by Jon Barwise and Jerry Seligman.
Keith DevlinPublished in: Complex. (1998)
Keyphrases
- information flow
- distributed systems
- message passing
- fault tolerant
- distributed environment
- geographically distributed
- flow analysis
- fault tolerance
- load balancing
- social networks
- communication networks
- operating system
- information flows
- mobile agents
- concurrent systems
- modal logic
- information security
- distributed database systems
- distributed computing
- real time systems
- data replication
- multi context systems
- databases
- replicated data