David M. R. Park

According to our database1, David M. R. Park authored at least 9 papers between 1963 and 1983.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1983
Reasoning with Fairness Constraints.
Proceedings of the Fundamentals of Computation Theory, 1983

1981
Concurrency and Automata on Infinite Sequences.
Proceedings of the Theoretical Computer Science, 1981

1979
When are two Effectively given Domains Identical?.
Proceedings of the Theoretical Computer Science, 1979

On the Semantics of Fair Parallelism.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1976
Finiteness is Mu-Ineffable.
Theor. Comput. Sci., 1976

1975
On the Termination of Program Schemas
Inf. Control., November, 1975

1972
Induction Rules and Termination Proofs.
Proceedings of the Automata, 1972

1970
On Formalised Computer Programs.
J. Comput. Syst. Sci., 1970

1963
CYCLOPS-1: a second-generation recognition system.
Proceedings of the 1963 fall joint computer conference, 1963


  Loading...