Wil M. P. van der Aalst

2013

doi dblp
Monitoring business constraints with the event calculus.
Marco Montali|Fabrizio Maria Maggi|Federico Chesani|Paola Mello|Wil M. P. van der Aalst
ACM Transactions on Intelligent Systems and Technology (TIST) 2013 Volume 5 Issue 1

2010

doi dblp
Declarative specification and verification of service choreographiess.
Marco Montali|Maja Pesic|Wil M. P. van der Aalst|Federico Chesani|Paola Mello|Sergio Storari
ACM Transactions on the Web 2010 Volume 4 Issue 1