An algebraic transformation system for occam programs
1995 ◽
Vol 6
(3-6)
◽
pp. 251-260
◽
1963 ◽
Vol 238
(9)
◽
pp. 3126-3130
◽
1963 ◽
Vol 238
(9)
◽
pp. 3119-3125
◽
1997 ◽
Vol 48
(5)
◽
pp. 621-625
◽
1988 ◽
Vol 1988
(1Supplement)
◽
pp. 47-48
◽