 | 2011 |
|---|
| 13 |       | Manuel Mazzara,
Faisal Abouzaid,
Nicola Dragoni,
Anirban Bhattacharyya:
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.
WS-FM 2011: 64-78 |
| 2010 |
|---|
| 12 | | Manuel Mazzara,
Anirban Bhattacharyya:
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
CoRR abs/1009.3462: (2010) |
| 11 | | Manuel Mazzara:
Deriving Specifications of Dependable Systems: toward a Method
CoRR abs/1009.3911: (2010) |
| 10 | | Michele Mazzucco,
Manuel Mazzara,
Nicola Dragoni:
Design of QoS-aware Provisioning Systems
CoRR abs/1012.0522: (2010) |
| 2009 |
|---|
| 9 | | Nicola Dragoni,
Manuel Mazzara:
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way.
WS-FM 2009: 92-109 |
| 2007 |
|---|
| 8 | | Zhixian Yan,
Manuel Mazzara,
Emilia Cimpian,
Alexander Urbanec:
Business Process Modeling: Classifications and Perspectives.
BPSC 2007: 222- |
| 7 | | Zhixian Yan,
Emilia Cimpian,
Michal Zaremba,
Manuel Mazzara:
BPMO: Semantic Business Process Modeling and WSMO Extension.
ICWS 2007: 1185-1186 |
| 6 | | Claudio Guidi,
Roberto Lucchi,
Manuel Mazzara:
A Formal Framework for Web Services Coordination.
Electr. Notes Theor. Comput. Sci. 180(2): 55-70 (2007) |
| 5 | | Roberto Lucchi,
Manuel Mazzara:
A pi-calculus based semantics for WS-BPEL.
J. Log. Algebr. Program. 70(1): 96-118 (2007) |
| 2006 |
|---|
| 4 | | Manuel Mazzara,
Ivan Lanese:
Towards a Unifying Theory for Web Services Composition.
WS-FM 2006: 257-272 |
| 2005 |
|---|
| 3 | | Manuel Mazzara,
Sergio Govoni:
A Case Study of Web Services Orchestration.
COORDINATION 2005: 1-16 |
| 2 | | Manuel Mazzara:
Timing Issues in Web Services Composition.
EPEW/WS-FM 2005: 287-302 |
| 2004 |
|---|
| 1 | | Manuel Mazzara,
Roberto Lucchi:
A Framework for Generic Error Handling in Business Processes.
Electr. Notes Theor. Comput. Sci. 105: 133-145 (2004) |
Data released under the ODC-BY 1.0 license — See also our legal information page