Skip to main content

The timed failures−stability model for Timed CSP

A. W. Roscoe and G.M. Reed

Institution
Oxford University Computing Laboratory
Note
also appeared in Theoretical Computer Science‚ Vol 211 (1999)
Number
PRG−119
Year
1996