Prototyping A&A ReSpecT in Maude
Matteo Casadei, Andrea Omicini, Mirko Viroli
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007), pages 93-109
Electronic Notes in Theoretical Computer Science 194(4), April 2008
Elsevier Science B.V.
Carlos Canal, Pascal Poizat, Mirko Viroli (eds.)
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8 September 2007. Proceedings
@article{respect-entcs194,
Author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
Doi = {10.1016/j.entcs.2008.03.101},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keyword = {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.},
ScopusId = {2-s2.0-41949136030},
Title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
Volume = 194,
Year = 2008}
Author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
Doi = {10.1016/j.entcs.2008.03.101},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keyword = {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.},
ScopusId = {2-s2.0-41949136030},
Title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
Volume = 194,
Year = 2008}