D. Kozen

2 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.

NetKAT: Semantic foundations for networks
C. J. Anderson and others (2014) · ACM SIGPLAN Notices
A programming language for the inductive sets, and applications
D. Harel and others (1982) · Automata, Languages and Programming (ICALP 1982) · Springer