John S. Gourlay

Publication Activity (10 Years)

Years Active: 1979-1986
Publications (10 Years): 0

Publications

John S. Gourlay
A Language for Music Printing. Commun. ACM 29 (5) (1986)
John S. Gourlay
A Mathematical Framework for the Investigation of Testing. IEEE Trans. Software Eng. 9 (6) (1983)
John S. Gourlay, William C. Rounds, Richard Statman
On Properties Preserved by Contraction of Concurrent Systems. Semantics of Concurrent Computation (1979)