External Links

Cite Key

Statistics

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

PDF

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.

A formal approach to modeling and verification of business process collaborations

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re 0001, Francesco Tiezzi. A formal approach to modeling and verification of business process collaborations. Science of Computer Programming, 166:35-70, 2018. [doi]

Authors

Flavio Corradini

This author has not been identified. Look up 'Flavio Corradini' in Google

Fabrizio Fornari

This author has not been identified. Look up 'Fabrizio Fornari' in Google

Andrea Polini

This author has not been identified. Look up 'Andrea Polini' in Google

Barbara Re 0001

This author has not been identified. Look up 'Barbara Re 0001' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google
runs on