Login / Signup
Specifying Stateful Asynchronous Properties for Distributed Programs.
Tzu-Chun Chen
Kohei Honda
Published in:
CONCUR (2012)
Keyphrases
</>
distributed systems
desirable properties
distributed constraint satisfaction
multi agent
publish subscribe
cooperative
metadata
programming environment
distributed network
asynchronous communication
imperative programs