TY  - RPRT
TI  - Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation
AU  - Walid Fdhila
AU  - David Knuplesch
AU  - Stefanie Rinderle-Ma
AU  - Manfred Reichert
PY  - 2021
UR  - https://arxiv.org/abs/2110.09399
ID  - 2110.09399
ER  -