Timed CSP: theory and practice
A. W. Roscoe‚ J.Davies‚ D.Jackson‚ G.M.Reed‚ J.Reed and S.A. Schneider
Book Title
Proceedings of REX Workshop
Publisher
LNCS
Volume
600
Year
1992
A. W. Roscoe‚ J.Davies‚ D.Jackson‚ G.M.Reed‚ J.Reed and S.A. Schneider