𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Behavior Based Service Composition

✍ Scribed by Carbone, Marco; Petit, Jean-Marc

Book ID
121661293
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
273 KB
Category
Article
ISBN
3642298346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Web
[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 4184 || A Formal Approach to Service Component Architecture
✍ Bravetti, Mario; NΓΊΓ±ez, Manuel; Zavattaro, Gianluigi πŸ“‚ Article πŸ“… 2006 πŸ› Springer Berlin Heidelberg 🌐 English βš– 705 KB

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such t

[Lecture Notes in Computer Science] Serv
[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2008 Volume 5364 || Protocol-Based Web Service Composition
✍ Bouguettaya, Athman; Krueger, Ingolf; Margaria, Tiziana πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 German βš– 635 KB

This Book Constitutes The Refereed Proceedings Of The 6th International Conference On Service-oriented Computing, Icsoc 2008, Held In Sydney, Australia, In December 2008. The 32 Revised Full Papers And 20 Short Papers Of The Research Track Presented Together With 6 Industrial Papers, 6 Demonstration