Communicating Concurrent Kleene Algebra for Distributed Systems Specification.
Maxime BuyseJason JaskolkaPublished in: Arch. Formal Proofs (2019)
Keyphrases
- distributed systems
- distributed environment
- hybrid automata
- geographically distributed
- load balancing
- fault tolerant
- message passing
- mobile agents
- fault tolerance
- propositional logic
- distributed computing
- regular expressions
- concurrent systems
- distributed database systems
- security policies
- real time systems
- data replication
- deadlock detection
- operating system
- query language
- case study
- real time
- formal specification
- data model