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:
PODC (2012)
Keyphrases
</>
distributed computing
modal logic
distributed environment
distributed systems
mobile agents
temporal logic
grid computing
geographically distributed
peer to peer
cloud computing
nonmonotonic logics
classical logic
distributed computing systems
data mining
epistemic logic
fault tolerance
model checking
metadata