A Problem-Reduction Approach to Proving Simulation Between Programs
1976 ◽
Vol SE-2
(2)
◽
pp. 87-96
◽
Keyword(s):
2006 ◽
Vol 19
(2)
◽
pp. 216-225
◽
2021 ◽
Vol 31
(8)
◽
pp. 3163-3178
Keyword(s):
2019 ◽
Vol 170
◽
pp. 95-106
◽
Keyword(s):