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
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.