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