Implementation of a transition semantics for parallel programs with shared variables
1991 ◽
pp. 207-266
1997 ◽
pp. 125-167
1973 ◽
Vol 17
(4)
◽
pp. 353-359
◽
Keyword(s):
2020 ◽
Vol 4
(POPL)
◽
pp. 1-32
◽
Keyword(s):
1987 ◽
Vol 15
(1)
◽
pp. 163-174
◽