Prototyping A&A ReSpecT in Maude
Matteo Casadei, Andrea Omicini, Mirko Viroli
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), pages 133-148
8 September 2007
Carlos Canal, Pascal Poizat, Mirko Viroli (eds.)
Proceedings
@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}