✦ LIBER ✦

Session types for safe Web service orchestration

✍ Scribed by Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Session types for safe Web service orche

✍ Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 799 KB

A calculus for orchestration of web serv

✍ Rosario Pugliese; Francesco Tiezzi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 606 KB

CSP-Based Verification for Web Service O

✍ Yeung, W.L. 📂 Article 📅 2007 🏛 SAGE Publications 🌐 English ⚖ 638 KB

Requirements for Next Generation Spatial

✍ Christian Kiehle; Klaus Greve; Christian Heier 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 922 KB

A Semantical Framework for the Orchestra

✍ Claus Pahl; Yaoling Zhu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 290 KB

Probabilistic QoS and Soft Contracts for

✍ Rosario, S.; Benveniste, A.; Haar, S.; Jard, C. 📂 Article 📅 2008 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 766 KB