@inproceedings{DBLP:conf/agere/ChengYRB12, author = {Cheng, Chih-Hong and Yan, Rongjie and Rue{\ss}, Harald and Bensalem, Saddek}, title = {Distributed priority synthesis using knowledge}, booktitle = {Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}}, pages = {129--132}, year = {2012}, doi = {10.1145/2414639.2414656}, url = {http://doi.acm.org/10.1145/2414639.2414656}, crossref = {DBLP:conf/agere/2012}, }