Analysing TM_FS: a study of nondeterminism in real−time concurrency
A. W. Roscoe and G.M. Reed
Editor
Yonezawa and Ito
Journal
Concurrency: Theory Language and Architecture
Publisher
Springer LNCS
Volume
491
Year
1991
A. W. Roscoe and G.M. Reed