Skip to main content

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