A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.

Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi

Browse the full ICSOC paper archive.