Assertional Reasoning for Concurrent and Communicating BPEL-like Programs
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2018-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_17/drp/pdf/148.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850100987267645440 |
|---|---|
| author | Longfei Zhu Qiwen Xu Huibiao Zhu |
| author_facet | Longfei Zhu Qiwen Xu Huibiao Zhu |
| author_sort | Longfei Zhu |
| collection | DOAJ |
| format | Article |
| id | doaj-art-4facd40fd25e41d6a32d44b302bbb922 |
| institution | DOAJ |
| issn | 2300-5963 |
| language | English |
| publishDate | 2018-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-4facd40fd25e41d6a32d44b302bbb9222025-08-20T02:40:10ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632018-09-011724124710.15439/2018F148Assertional Reasoning for Concurrent and Communicating BPEL-like ProgramsLongfei ZhuQiwen XuHuibiao Zhuhttps://annals-csis.org/Volume_17/drp/pdf/148.pdf |
| spellingShingle | Longfei Zhu Qiwen Xu Huibiao Zhu Assertional Reasoning for Concurrent and Communicating BPEL-like Programs Annals of computer science and information systems |
| title | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs |
| title_full | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs |
| title_fullStr | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs |
| title_full_unstemmed | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs |
| title_short | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs |
| title_sort | assertional reasoning for concurrent and communicating bpel like programs |
| url | https://annals-csis.org/Volume_17/drp/pdf/148.pdf |
| work_keys_str_mv | AT longfeizhu assertionalreasoningforconcurrentandcommunicatingbpellikeprograms AT qiwenxu assertionalreasoningforconcurrentandcommunicatingbpellikeprograms AT huibiaozhu assertionalreasoningforconcurrentandcommunicatingbpellikeprograms |