Decomposition-based Verification of Global Compliance in Process Choreographies

Universität Ulm

Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch and Manfred Reichert 24th IEEE Int'l Conference on Enterprise Computing (EDOC 2020)

5-8 October 2020, Eindhoven, The Netherlands