Prototyping A&A ReSpecT in Maude
 |
 |
@inproceedings{respect-foclasa07,
address = {CONCUR 2007, Lisbon, Portugal},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
month = {8~} # sep,
note = {Proceedings},
pages = {133--148},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://foclasa07.lcc.uma.es/},
year = 2007
}
address = {CONCUR 2007, Lisbon, Portugal},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
month = {8~} # sep,
note = {Proceedings},
pages = {133--148},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://foclasa07.lcc.uma.es/},
year = 2007
}