John S. Gourlay

According to our database¹, John S. Gourlay authored at least 4 papers between 1979 and 1986.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1986

A Language for Music Printing.

[BibT_eX]

[DOI]

Commun. ACM, 1986

1983

A Mathematical Framework for the Investigation of Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1983

1981

Theory of Testing Computer Programs.

[BibT_eX]

[DOI]

PhD thesis, 1981

1979

On Properties Preserved by Contraction of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Concurrent Computation, 1979