Formal design and performance evaluation of parallel and distributed software systems
Keyword(s):
Keyword(s):
2012 ◽
Vol 192
◽
pp. 465-469
2015 ◽
Vol 135
(6)
◽
pp. 221-229
Keyword(s):
2014 ◽
Vol 15
(3)
◽
pp. 125-137
◽
2018 ◽
Vol 30
(4)
◽
pp. 267-291
Keyword(s):