Huu Nghia (hữu Nghĩa) Nguyễn, Pascal Poizat, Fatiha Zaïdi. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.
10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States.
⟨10.1007/978-3-642-34321-6_36⟩.
⟨hal-01367304⟩