@article{Yu:2009:CAO:1568795.1569023,
 author = {Yu, Yue and Ren, Shangping and Talcott, Carolyn},
 title = {Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints},
 journal = {Electron. Notes Theor. Comput. Sci.},
 issue_date = {July, 2009},
 volume = {229},
 number = {2},
 month = jul,
 year = {2009},
 issn = {1571-0661},
 pages = {133--153},
 numpages = {21},
 url = {http://dx.doi.org/10.1016/j.entcs.2009.06.033},
 doi = {10.1016/j.entcs.2009.06.033},
 acmid = {1569023},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {ARC, Coordination model, Maude, timing constraint model},
}