Translating ConDec into CLIMB

Lecture Notes in Business Information Processing - Specification and Verification of Declarative Open Interaction Models ◽

10.1007/978-3-642-14538-4_5 ◽

2010 ◽

pp. 115-138

Author(s):

Marco Montali

Download Full-text