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
}

Publications

Home
Search
All

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
•  2023  •  2022  •  2021  •  2020  •  2019  •  2018  •  2017  •  2016  •  2015  •  2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

— editors

Carlos Canal, Pascal Poizat, Mirko Viroli

— status

published

— sort

paper in proceedings

— publication date

September 2007

— volume

6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)

— pages

133–148

— address

CONCUR 2007, Lisbon, Portugal

URLs

original page

notes

— note

Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY