✦ LIBER ✦

A pi-calculus based semantics for WS-BPEL

✍ Scribed by Roberto Lucchi; Manuel Mazzara

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic subtyping for the pi-calculus

✍ Giuseppe Castagna; Rocco De Nicola; Daniele Varacca 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 876 KB

A pure labeled transition semantics for

✍ Xiaojuan Cai 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 616 KB

A fully abstract semantics for causality

✍ Michele Boreale; Davide Sangiorgi 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 461 KB

A Calculus for Generation, Verification

✍ Faisal Abouzaid; John Mullins 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 355 KB

[Lecture Notes in Computer Science] Web

✍ Laneve, Cosimo; Su, Jianwen 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 259 KB

A formal model for BPEL4WS description o

✍ Gu Xiwu; Lu Zhengding 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 808 KB