D. Park
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Concurrency and automata on infinite sequences
D. Park (1981) · Proceedings of the 5th GI-conference
A predicate transformer for weak fair iteration
D. Park (1981) · Proceedings of the 6th IBM Symposium on Mathematical Foundations of Computer Science, Hakone, Japan
Finiteness is mu-ineffable
D. Park (1974) · University of Warwick