Reasoning about orchestrations of web services using partial correctness

✍ Scribed by Alan Stewart, Joaquim Gabarro, Anthony Keenan

• Book ID: 120739856
• Publisher: Springer
• Year: 2011
• Tongue: English
• Weight: 418 KB
• Volume: 25
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s00165-011-0212-5