Authors: COMPTON KJ GRADEL E

Citation: Kj. Compton et E. Gradel, LOGICAL DEFINABILITY OF COUNTING FUNCTIONS, Journal of computer and system sciences, 53(2), 1996, pp. 283-297

Authors: COMPTON KJ RAVISHANKAR C

Citation: Kj. Compton et C. Ravishankar, EXPECTED DEADLOCK TIME IN A MULTIPROCESSING SYSTEM, Journal of the Association for Computing Machinery, 42(3), 1995, pp. 562-583

Authors: COMPTON KJ

Citation: Kj. Compton, STRATIFIED LEAST FIXPOINT LOGIC, Theoretical computer science, 131(1), 1994, pp. 95-120