Weak Models of Distributed Computing, with Connections to Modal Logic
Lauri HellaMatti JärvisaloAntti KuusistoJuhana LaurinharjuTuomo LempiäinenKerkko LuostoJukka SuomelaJonni VirtemaPublished in: CoRR (2012)
Keyphrases
- distributed computing
- modal logic
- cloud computing
- inference rules
- distributed environment
- temporal logic
- fault tolerance
- distributed computing systems
- geographically distributed
- classical logic
- grid computing
- mobile agents
- peer to peer
- multimedia
- data mining
- belief revision
- distributed systems
- computational intelligence
- epistemic logic
- information systems