David Michael Ritchie Park

Publication Activity (10 Years)

Years Active: 1963-1983
Publications (10 Years): 0

Publications

David Michael Ritchie Park
Reasoning with Fairness Constraints. FCT (1983)
David Michael Ritchie Park
Concurrency and Automata on Infinite Sequences. Theoretical Computer Science (1981)
David Michael Ritchie Park
On the Semantics of Fair Parallelism. Abstract Software Specifications (1979)
Akira Kanda, David Michael Ritchie Park
When are two Effectively given Domains Identical?. Theoretical Computer Science (1979)
David Michael Ritchie Park
Finiteness is Mu-Ineffable. Theor. Comput. Sci. 3 (2) (1976)
A. J. Kfoury, David Michael Ritchie Park
On the Termination of Program Schemas Inf. Control. 29 (3) (1975)
Peter Hitchcock, David Michael Ritchie Park
Induction Rules and Termination Proofs. ICALP (1972)
David C. Luckham, David Michael Ritchie Park, Mike Paterson
On Formalised Computer Programs. J. Comput. Syst. Sci. 4 (3) (1970)
T. Marrill, A. K. Hartley, Thomas G. Evans, Burton H. Bloom, David Michael Ritchie Park, Timothy P. Hart, D. Lucille Darley
CYCLOPS-1: a second-generation recognition system. AFIPS Fall Joint Computing Conference (1963)