The top documents tagged [imt lucca]

Towards Systematically Engineering Ensembles - Martin Wirsing
Technology Towards Systematically Engineering Ensembles - Martin Wirsing

120 views

1 Nominal Calculi for Transactions: CJOIN Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration
Documents 1 Nominal Calculi for Transactions: CJOIN Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration

217 views

1 Formal Models for Transactions: Petri Nets Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration
Documents 1 Formal Models for Transactions: Petri Nets Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration

216 views

1 WS Technologies II WSDL Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT- Institutions
Documents 1 WS Technologies II WSDL Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT- Institutions

216 views

1 Formal Models for Transactions: Zero Safe Nets Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and
Documents 1 Formal Models for Transactions: Zero Safe Nets Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and

215 views

Presented by Anwar Saipulla Umass Lowell Slides are adopted from original authors’ presentation 1
Documents Presented by Anwar Saipulla Umass Lowell Slides are adopted from original authors’ presentation 1

224 views

1 WS Technologies III BPEL4WS Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT-
Documents 1 WS Technologies III BPEL4WS Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT-

216 views

1 Formal Languages for Flow Composition and Compensation: Sagas Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination
Documents 1 Formal Languages for Flow Composition and Compensation: Sagas Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination

213 views

WS Technologies I I WSDL
Documents WS Technologies I I WSDL

19 views

WS Technologies III Transactions
Documents WS Technologies III Transactions

32 views

Culture, Institutions and the Wealth of Nations
Documents Culture, Institutions and the Wealth of Nations

238 views

1 WS Technologies I SOAP Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT- Institutions
Documents 1 WS Technologies I SOAP Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT- Institutions

217 views