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: http://dx.doi.org/10.1007/1188811621.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography