Horizons of the Mind. A Tribute to Prakash Panangaden

Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

  • Franck van Breugel
  • Elham Kashefi
  • Catuscia Palamidessi
  • Jan Rutten

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8464)

Table of contents

  1. Front Matter
  2. Martín Abadi, Jérémy Planul, Gordon D. Plotkin
    Pages 1-39
  3. Alessandro Abate, Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 40-58
  4. Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
    Pages 76-95
  5. Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
    Pages 96-123
  6. Henning Basold, Marcello Bonsangue, Helle Hvid Hansen, Jan Rutten
    Pages 124-145
  7. Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose
    Pages 146-167
  8. Adam Bognat, Patrick Hayden
    Pages 180-190
  9. Will Brian, Michael Mislove
    Pages 214-228
  10. Claudia Casadio, Mehrnoosh Sadrzadeh
    Pages 229-249
  11. Bob Coecke
    Pages 250-267
  12. Vincent Danos, Ilias Garnier
    Pages 268-289
  13. Josée Desharnais
    Pages 290-291
  14. Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
    Pages 292-318
  15. Jean Goubault-Larrecq, Roberto Segala
    Pages 343-362
  16. Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
    Pages 363-383
  17. Bart Jacobs, Alexandra Silva
    Pages 384-406
  18. Dexter Kozen
    Pages 407-426
  19. Keye Martin, Johnny Feng, Tanner Crowder
    Pages 454-457
  20. Vijay Saraswat, Vineet Gupta, Radha Jagadeesan
    Pages 458-475
  21. Glynn Winskel
    Pages 476-497
  22. Back Matter

About this book


This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science.


Markov decision processes Markov processes automata theory coalgebras entanglement formal languages formal methods logic mathematics of computing model checking probability and statistics quantum computation stochastic processes theoretical computer science theory of computation

Editors and affiliations

  • Franck van Breugel
    • 1
  • Elham Kashefi
    • 2
  • Catuscia Palamidessi
    • 3
  • Jan Rutten
    • 4
  1. 1.Department of Electrical Engineering and Computer ScienceYork UniversityTorontoCanada
  2. 2.School of Informatics, Informatics ForumUniversity of EdinburghEdinburghUK
  3. 3.Inria Saclay, Campus de l’École Polytechnique, Bâtiment Alan TuringPalaiseauFrance
  4. 4.CWIAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-06879-4
  • Online ISBN 978-3-319-06880-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software