Verifying compliance in process choreographies: Foundations, algorithms, and implementation

Information Systems ◽

10.1016/j.is.2022.101983 ◽

2022 ◽

pp. 101983

Author(s):

Walid Fdhila ◽

David Knuplesch ◽

Stefanie Rinderle-Ma ◽

Manfred Reichert

Download Full-text