External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing Collaboration Goal Sequences for Service Choreography

Humberto Nicolás Castejón Martínez, Rolv Bræk. Formalizing Collaboration Goal Sequences for Service Choreography. In Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Volume 4229 of Lecture Notes in Computer Science, pages 275-291, Springer, 2006. [doi]

Authors

Humberto Nicolás Castejón Martínez

This author has not been identified. Look up 'Humberto Nicolás Castejón Martínez' in Google

Rolv Bræk

This author has not been identified. Look up 'Rolv Bræk' in Google
runs on