|
|||||
|
|
Model checking web services choreography in process analysis toolkit |
|
| Authors: | Dong Xu Zhou Lei Wei-min Li Bo-feng Zhang |
| Institution: | 1. School of Computer Engineering and Science,Shanghai University,Shanghai 200072,P.R.China 2. School of Computer Engineering and Science,Shanghai University,Shanghai 200072,P.R.China;High Performance Computing Center,Shanghai University,Shanghai 200072,P.R.China |
| Abstract: | |
| Keywords: | model checking web service (WS) communicating sequential processes (CSP) |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ | |
| 点击此处可从《上海大学学报(英文版)》浏览原始摘要信息 | |
| 点击此处可从《上海大学学报(英文版)》下载免费的PDF全文 | |