Modeling and Verification of Business Processes and Choreographies in ALP

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 Festschrifts: Birthday, In Memory of ...  
dblp:conf/birthday/ChesaniMMT08 fatcat:duf4zmffrvaenc7g6wk3tqccby