H. Peter Hofstee;Alain J. Martin;Jan L. A. van de Snepscheut
-;-;-
A time-optimal distributed sorting algorithm on a line network
Information Processing Letters
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods