A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern
2010 ◽
Vol 21
(4)
◽
pp. 713-720
◽
2009 ◽
Vol 25
(3)
◽
pp. 378-383
◽
Keyword(s):
2015 ◽
Vol 42
(20)
◽
pp. 6828-6843
◽