A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	6th International Workshop on Web Services and Formal Methods (WS-FM'09)
Publisher	Springer
Publication date	2009
Publication status	Published - 2009
Event	6th International Workshop on Web Services and Formal Methods (WS-FM'09) - Bologna, Italy Duration: 1 Jan 2009 → …

Conference	6th International Workshop on Web Services and Formal Methods (WS-FM'09)
City	Bologna, Italy
Period	01/01/2009 → …

Series	LNCS

OpenUrl availability

@inproceedings{030f45511a2f4cee96a785e520892e36,

title = "A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way",

author = "Nicola Dragoni and Manuel Mazzara",

year = "2009",

language = "English",

series = "LNCS",

booktitle = "6th International Workshop on Web Services and Formal Methods (WS-FM'09)",

publisher = "Springer",

note = "6th International Workshop on Web Services and Formal Methods (WS-FM'09) ; Conference date: 01-01-2009",

}

TY - GEN

T1 - A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way

AU - Dragoni, Nicola

AU - Mazzara, Manuel

PY - 2009

Y1 - 2009

M3 - Article in proceedings

T3 - LNCS

BT - 6th International Workshop on Web Services and Formal Methods (WS-FM'09)

PB - Springer

T2 - 6th International Workshop on Web Services and Formal Methods (WS-FM'09)

Y2 - 1 January 2009

ER -