Modelling and Analysis of Commit Protocols with PEPA
2017 ◽
pp. 266-281
Keyword(s):
2010 ◽
Vol 2
(3)
◽
pp. 116-126
◽
2011 ◽
Keyword(s):
2016 ◽
Vol 31
(2)
◽
pp. 61-66
◽