Declarative specification and verification of service choreographies

M. Montali, M. Pesic, W.M.P. Aalst, van der, F. Chesani, P. Mello, S. Storari

Research output: Contribution to journalArticlepeer-review

161 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Declarative specification and verification of service choreographies'. Together they form a unique fingerprint.

Engineering & Materials Science