Login / Signup
Weak models of distributed computing, with connections to modal logic.
Lauri Hella
Matti Järvisalo
Antti Kuusisto
Juhana Laurinharju
Tuomo Lempiäinen
Kerkko Luosto
Jukka Suomela
Jonni Virtema
Published in:
Distributed Comput. (2015)
Keyphrases
</>
distributed computing
modal logic
distributed systems
mobile agents
temporal logic
geographically distributed
grid computing
distributed environment
cloud computing
epistemic logic
fault tolerance
peer to peer
inference rules
cooperative
nonmonotonic logics
distributed data mining
knowledge base