Abstract
In the Fall of 1985 Dexter and I both started at Cornell as new faculty members in the celebrated Computer Science Department, home to luminaries such as Juris Hartmanis, John Hopcroft, David Gries and Robert Constable. I was a very new assistant professor but Dexter was already an acknowledged star with celebrated contributions to several areas: algebra and complexity, decision procedures for real-closed fields [1], dynamic logic [2-4] and many other areas across both tracks of theoretical computer science. I had no doctorate in computer science, hardly any publications and no clearly defined research area. Early in the term Dexter summoned me to his office and grilled me about work I was doing on nondeterministic dataflow. After that meeting I needed several glasses of beer to recover but a lasting friendship was sealed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ben-Or, M., Kozen, D., Reif, J.: The complexity of elementary algebra and geometry. Journal of Computer and System Sciences 32, 251–264 (1986)
Harel, D., Kozen, D., Tiuryn, J.: Propositional Dynamic Logic. MIT Press (2000)
Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theoretical Computer Science 14, 113–118 (1981)
Kozen, D.: Results on the propositional μ-calculus. Theoretical Computer Science 27, 333–354 (1983)
Kozen, D.: Semantics of probabilistic programs. Journal of Computer and Systems Sciences 22, 328–350 (1981)
Kozen, D.: A probabilistic PDL. Journal of Computer and Systems Sciences 30, 162–178 (1985)
Johnstone, P.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press (1982)
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall (1976)
Plotkin, G.D.: Lecture notes on domain theory. The Pisa Notes (1983), http://www.dcs.ed.ac.uk/home/gdp/publications/pubs.html
Smyth, M.: Powerdomains and Predicate Transformers. In: Díaz, J. (ed.) ICALP 1983. LNCS, vol. 154, pp. 662–676. Springer, Heidelberg (1983)
Morgan, C., McIver, A.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, Heidelberg (2004) (to appear)
Panangaden, P.: The category of Markov processes. ENTCS 22, 17 pages (1999), http://www.elsevier.nl/locate/entcs/volume22.html
Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes In Mathematics, vol. 915, pp. 68–85. Springer, Heidelberg (1981)
Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensor-* categories. Journal of Pure and Applied Algebra 143, 3–47 (1999)
Panangaden, P.: Labelled Markov Processes. Imperial College Press (2009)
Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. In: Proceedings of the Twelfth IEEE Symposium On Logic In Computer Science, Warsaw, Poland (1997)
Desharnais, J., Edalat, A., Panangaden, P.: A logical characterization of bisimulation for labelled Markov processes. In: Proceedings of the 13th IEEE Symposium on Logic in Computer Science, pp. 478–489. IEEE Press, Indianapolis (1998)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for Labeled Markov Systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 258–273. Springer, Heidelberg (1999)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximation of labeled Markov processes. In: Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science, pp. 95–106. IEEE Computer Society Press (2000)
Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labeled Markov processes. Information and Computation 179, 163–193 (2002)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: The metric analogue of weak bisimulation for labelled Markov processes. In: Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science, pp. 413–422 (2002)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Weak Bisimulation is Sound and Complete for PCTL*. In: Brim, L., Jančar, P., Křetínský, M., Kučera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 355–370. Springer, Heidelberg (2002)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximating labeled Markov processes. Information and Computation 184, 160–200 (2003)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: A metric for labelled Markov processes. Theoretical Computer Science 318, 323–354 (2004)
Danos, V., Desharnais, J., Laviolette, F., Panangaden, P.: Bisimulation and cocongruence for probabilistic systems. Information and Computation 204, 503–523 (2006)
Chaput, P., Danos, V., Panangaden, P., Plotkin, G.: Approximating Markov Processes by Averaging. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 127–138. Springer, Heidelberg (2009)
Kozen, D.: Coinductive proof principles for stochastic processes. In: Alur, R. (ed.) Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006, pp. 359–366 (2006)
Kozen, D.: Coinductive proof principles for stochastic processes. Logical Methods in Computer Science 3, 1–14 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Panangaden, P. (2012). Dexter Kozen’s Influence on the Theory of Labelled Markov Processes. In: Constable, R.L., Silva, A. (eds) Logic and Program Semantics. Lecture Notes in Computer Science, vol 7230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29485-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-29485-3_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29484-6
Online ISBN: 978-3-642-29485-3
eBook Packages: Computer ScienceComputer Science (R0)