Information flow in logic for distributed systems: Extending graded consequence.
Soma DuttaAndrzej SkowronMihir K. ChakrabortyPublished in: Inf. Sci. (2019)
Keyphrases
- distributed systems
- information flow
- alternating time temporal logic
- fault tolerant
- flow analysis
- distributed environment
- fault tolerance
- social networks
- communication networks
- operating system
- load balancing
- message passing
- geographically distributed
- distributed database systems
- flow graph
- modal logic
- distributed computing
- information security
- real time systems
- deadlock detection
- multi context systems
- concurrent systems
- supply chain
- mobile agents
- data availability
- data replication
- database