Responsiveness of Interoperating Components
A. W. Roscoe‚ J. N. Reed and J. E. Sinclair
Journal
Formal Aspects of Computing
Pages
394–411
Volume
16
Year
2004
A. W. Roscoe‚ J. N. Reed and J. E. Sinclair