Search the dblp DataBase

Publications of Author

1. David C. Luckham, David Michael Ritchie Park, Mike Paterson
   On Formalised Computer Programs. [Citation Graph (1, 0)][DBLP]
   J. Comput. Syst. Sci., 1970, v:4, n:3, pp:220-249 [Journal]
   
2. David Park
   On the Semantics of Fair Parallelism. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:504-526 [Conf]
   
3. David Park
   Reasoning with Fairness Constraints. [Citation Graph (0, 0)][DBLP]
   FCT, 1983, pp:516-517 [Conf]
   
4. Peter Hitchcock, David Park
   Induction Rules and Termination Proofs. [Citation Graph (0, 0)][DBLP]
   ICALP, 1972, pp:225-251 [Conf]
   
5. David Park
   Concurrency and Automata on Infinite Sequences. [Citation Graph (0, 0)][DBLP]
   Theoretical Computer Science, 1981, pp:167-183 [Conf]
   
6. Akira Kanda, David Park
   When are two Effectively given Domains Identical?. [Citation Graph (0, 0)][DBLP]
   Theoretical Computer Science, 1979, pp:170-181 [Conf]
   
7. A. J. Kfoury, David Michael Ritchie Park
   On the Termination of Program Schemas [Citation Graph (0, 0)][DBLP]
   Information and Control, 1975, v:29, n:3, pp:243-251 [Journal]