Siirry suoraan sisältöön
Specification and Verification of Declarative Open Interaction Models
Tallenna

Specification and Verification of Declarative Open Interaction Models

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics.
Alaotsikko
A Logic-Based Approach
Kirjailija
Marco Montali
ISBN
9783642145377
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
30.7.2010
Sivumäärä
411