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 - Bologna, Italy Duration: 4 Sept 2009 → 5 Sept 2009 Conference number: 9

Conference	6th International Workshop on Web Services and Formal Methods
Number	9
Country/Territory	Italy
City	Bologna
Period	04/09/2009 → 05/09/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: 04-09-2009 Through 05-09-2009",

}

TY - GEN

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

AU - Dragoni, Nicola

AU - Mazzara, Manuel

N1 - Conference code: 9

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

Y2 - 4 September 2009 through 5 September 2009

ER -