Skip to main content

Communication and correctness in Timed CSP

A. W. Roscoe‚ S.A. Schneider‚ J.W. Davies‚ D.M. Jackson and G.M. Reed

Institution
Esprit SPEC project
Year
1990