Formalizing Collaboration Goal Sequences for Service Choreography

DOI10.1007/11888116_21zbMath1225.68111OpenAlexW1480575935MaRDI QIDQ3613073

Humberto Nicolás Castejón, Rolv Bræk

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalizing Collaboration Goal Sequences for Service Choreography