Timewise refinement for communicating processes
Parosh Aziz Abdulla
◽
C. Aiswarya
◽
Mohamed Faouzi Atig
2004 ◽
Vol 1
(1)
◽
pp. 1-20
1985 ◽
Vol 21
(2)
◽
pp. 63-68
◽
Thomas Räuchle
◽
Sam Toueg
Zhenbang Chen
◽
Zhiming Liu
◽
Ji Wang
Marco Bellia
◽
Pierpaolo Degano
◽
Giorgio Levi
◽
Enrico Dameri
◽
Maurizio Martelli
1987 ◽
Vol 20
(14)
◽
pp. 107-112
M. C. Eglin-Leclerc
◽
J. Julliand
◽
G. R. Perrin