Data-aware design and verification of service compositions with Reo and mCRL2.

Natallia Kokash, Christian Krause, Erik P. de Vink

Browse the full SAC paper archive.