CSP-based verification for web service orchestration and choreography

Wing Lok YEUNG

Research output: Journal Publications › Journal Article (refereed) › peer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'CSP-based verification for web service orchestration and choreography'. Together they form a unique fingerprint.

Computer Science