Formalizing Collaboration Goal Sequences for Service Choreography.

Humberto Nicols Castejn Martnez, Rolv Brk

Browse the full FORTE paper archive.