For the most recent entries see the Petri Nets Newsletter.

Formalizing Collaboration Goal Sequences for Service Choreography.

Castejon, Humberto Nicolas; Braek, Rolv

In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, pages 275-291. 2006. URL:

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography