Decomposition-based Verification of Global Compliance in Process Choreographies.

Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch, Manfred Reichert

Browse the full EDOC paper archive.