Prototyping A&A ReSpecT in Maude
 |
 |
acm = {10.1016/j.entcs.2008.03.101},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
doi = {10.1016/j.entcs.2008.03.101},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
iris = {11585/62571},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
keywords = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
month = apr,
note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
number = 4,
pages = {93--109},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-41949136030},
series = {Electronic Notes in Theoretical Computer Science},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
volume = 194,
wos = {WOS:000214264700007},
year = 2008
}