A Parametric Communication Model for the Verification of BPEL4WS Compositions
Keyword(s):
2015 ◽
Vol 74
(3)
◽
pp. 169-175
◽
2015 ◽
Vol 5
(2(16))
◽
pp. 42-43
Keyword(s):
2018 ◽
Vol 9
(4)
◽
pp. 1499-1510