Verifying Composite Service Transactional Behavior Using Event Calculus
2009 ◽
Vol 31
(8)
◽
pp. 1398-1411
◽
1995 ◽
Vol 5
(5)
◽
pp. 579-602
◽
1996 ◽
Vol 12
(3)
◽
pp. 478-498
◽
2006 ◽
Vol 38
(2)
◽
pp. 137-156
◽
Keyword(s):
2021 ◽
Vol 13
(2)
◽
pp. 47-55