Information Flow, Distributed Systems, and Refinement, by Example.
Joshua D. GuttmanPublished in: Concurrency, Security, and Puzzles (2017)
Keyphrases
- distributed systems
- information flow
- fault tolerant
- flow analysis
- distributed environment
- social networks
- load balancing
- information flows
- fault tolerance
- distributed computing
- geographically distributed
- mobile agents
- information security
- communication networks
- concurrent systems
- message passing
- distributed database systems
- deadlock detection
- data replication
- loosely coupled
- operating system
- flow graph
- real time systems
- supply chain
- software engineering
- multi context systems