Prototyping A&A ReSpecT in Maude

@inproceedings{respect-foclasa07,
   address = {CONCUR 2007, Lisbon, Portugal},
   apice = {RespectFoclasa2007},
   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, ReSpecT, Agents & Artifacts},
   lens = {093-433-635-955-415},
   month = {8~} # sep,
   note = {Proceedings},
   openalex = {W2801866319},
   pages = {133--148},
   title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
   url = {http://foclasa07.lcc.uma.es/},
   year = 2007
}