Tom Van Cutsem Mark S. Miller Proceedings First International Workshop on Decentralized Coordination of Distributed Processes DCDP http://dx.doi.org/10.4204/EPTCS.27 2010 EPTCS 27 db/series/eptcs/eptcs27.html