Reo + mCRL2 : a framework for model-checking dataflow in service compositions

N. Kokash, C. Krause, E.P. Vink, de

Research output: Contribution to journalArticleAcademicpeer-review

52 Citations (Scopus)
2 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Reo + mCRL2 : a framework for model-checking dataflow in service compositions'. Together they form a unique fingerprint.

Computer Science