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

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

Authors
  • Fdhila, Walid
  • Knuplesch, David
  • Rinderle-Ma, Stefanie
  • Reichert, Manfred
Grafik Top
Shortfacts
Category
Journal Paper
Divisions
Security and Privacy
Journal or Publication Title
Information Systems
ISSN
0306-4379
Publisher
Elsevier
Page Range
p. 101983
Volume
108
Date
2022
Official URL
http://dx.doi.org/10.1016/j.is.2022.101983
Export
Grafik Top