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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, and Manfred Reichert

Journal title: Information Systems

Journal number: 108

Journal publisher: Elsevier Science & Technology

Published year: 2022

DOI identifier: 10.1016/j.is.2022.101983

ISSN: 0306-4379