Vol-486⫷ Vol-487 ⫸Vol-488
urn:nbn:de:0074-487-0


Vol-487/paper-5⫷Vol-487/paper-6⫸Vol-487/paper-7
Marco GavanelliFabrizio RiguzziSergio StorariMarco Alberti 0001Evelina Lamma

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties