An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
1998 ◽
Vol 8
(4)
◽
pp. 545-567
◽
1989 ◽
Vol 15
(3)
◽
pp. 356-359
◽
1981 ◽
Vol 13
(1)
◽
pp. 45-60
◽
Keyword(s):
An Interactive Minicomputer Program for the Indexing and Simulation of Electron Diffraction Patterns
1976 ◽
Vol 34
◽
pp. 542-543
Keyword(s):
One Step
◽
1995 ◽
Vol 53
◽
pp. 454-455
Keyword(s):
1993 ◽
Vol 51
◽
pp. 1050-1051
Keyword(s):