CoordMaude: Simplifying formal coordination specifications of cooperation environments

Literals

ou:bibtex
- @article{Clemente2003,title = {CoordMaude: Simplifying formal coordination specifications of cooperation environments},journal = {Electronic Notes in Theoretical Computer Science},year = {2003},volume = {82},number = {3},pages = {643-658},author = {S{\'a}nchez-Alonso, M. and Clemente, P.J. and Murillo, J.M. and Hernandez, J.}}
bibo:doi
- 10.1016/s1571-0661(05)82633-7
dcterms:contributor
- Sánchez-Alonso, M.; Clemente, P.J.; Murillo, J.M.; Hernandez, J.
dcterms:creator
- Sánchez-Alonso M.
ou:urlOrcid
- http://www.scopus.com/inward/record.url?eid=2-s2.0-19044395341&partnerID=MN8TOARS
ou:eid
- 2-s2.0-19044395341
dcterms:title
- CoordMaude: Simplifying formal coordination specifications of cooperation environments
bibo:page_range
- 643-658
vivo:identifier
- 2003-56
fabio:hasPublicationYear
- 2003
bibo:issn
- 1571-0661
dcterms:publisher
- Electronic Notes in Theoretical Computer Science
ou:tipoPublicacion
- Conference Paper
vcard:url
- https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=19044395341&origin=inward
ou:urlScopus
- https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=19044395341&origin=inward
ou:vecesCitado
- 2
bibo:volume
- 82