External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. In Kees M. van Hee, Rüdiger Valk, editors, Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi an, China, June 23-27, 2008. Proceedings. Volume 5062 of Lecture Notes in Computer Science, pages 52-71, Springer, 2008. [doi]

Authors

Filippo Bonchi

This author has not been identified. Look up 'Filippo Bonchi' in Google

Antonio Brogi

This author has not been identified. Look up 'Antonio Brogi' in Google

Sara Corfini

This author has not been identified. Look up 'Sara Corfini' in Google

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google
runs on