Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
January 2008
Cite DOI
Type
Conference paper
Publication
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

Add the full text or supplementary notes for the publication here using Markdown formatting.