Rewriting as a unified model of concurrency
Keyword(s):
Keyword(s):
2020 ◽
Vol 146
(732)
◽
pp. 3450-3465