Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch, Manfred Reichert. Decomposition-based Verification of Global Compliance in Process Choreographies. In 24th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2020, Eindhoven, The Netherlands, October 5-8, 2020. pages 77-86, IEEE, 2020. [doi]
Abstract is missing.