Proença J, Clarke D, de Vink EP, Arbab F.? 2012.??Dreams: a framework for distributed synchronous coordination. Proceedings of the ACM Symposium on Applied Computing - SAC. :1510?1515.