Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
formal methods for service-oriented computing
scientific article; zbMATH DE number 6148320
scientific article