David Michael Ritchie Park

Reasoning with Fairness Constraints

David Michael Ritchie Park, 1983, FCT.

On Formalised Computer Programs

David C. Luckham, Mike Paterson, David Michael Ritchie Park, 1970, J. Comput. Syst. Sci..

When are two Effectively given Domains Identical?

David Michael Ritchie Park, Akira Kanda, D. Park, 1979, Theoretical Computer Science.

On the Termination of Program Schemas

Assaf J. Kfoury, David Michael Ritchie Park, A. Kfoury, 1975, Inf. Control..

Finiteness is Mu-Ineffable

David Michael Ritchie Park, 1976, Theor. Comput. Sci..

On the Semantics of Fair Parallelism

David Michael Ritchie Park, D. Park, 1979, Abstract Software Specifications.