Verifying compliance in process choreographies: Foundations, algorithms, and implementation
- Fdhila, Walid
- Knuplesch, David
- Rinderle-Ma, Stefanie
- Reichert, Manfred
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 |