✦ LIBER ✦

CSP-Based Verification for Web Service Orchestration and Choreography

✍ Scribed by Yeung, W.L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Web services orchestration and choreogra

✍ Peltz, C. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 279 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

Requirements for Next Generation Spatial

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

Simulation-based experimentation for des

✍ Tamrat Tewoldeberhan; Marijn Janssen 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 597 KB

Activity sequence modes for Web services

✍ Bo Chen; Qingneng Yuan; Zhiqi Liu 📂 Article 📅 2011 🏛 Wuhan University 🌐 English ⚖ 609 KB