Timed CSP: Theory and Practice

Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe. Timed CSP: Theory and Practice. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 640-675, Springer, 1991.

Authors

Steve Schneider

This author has not been identified. Look up 'Steve Schneider' in Google

Jim Davies

This author has not been identified. Look up 'Jim Davies' in Google

D. M. Jackson

This author has not been identified. Look up 'D. M. Jackson' in Google

George M. Reed

This author has not been identified. Look up 'George M. Reed' in Google

Joy N. Reed

This author has not been identified. Look up 'Joy N. Reed' in Google

A. W. Roscoe

This author has not been identified. Look up 'A. W. Roscoe' in Google