Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Horizons of the Mind. A Tribute to Prakash Panangaden

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

  • Book
  • © 2014

Overview

Editors:
  1. Franck Breugel

    1. Department of Electrical Engineering and Computer Science, York University, Toronto, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elham Kashefi

    1. School of Informatics, Informatics Forum, University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Catuscia Palamidessi

    1. Inria Saclay, Campus de l’École Polytechnique, Bâtiment Alan Turing, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jan Rutten

    1. CWI, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Features papers attributed to Prakash Panangaden
  • Covers a large variety of topics in theoretical computer science

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 chapters)

  1. Front Matter

    Download chapter PDF

  2. Layout Randomization and Nondeterminism

    • Martín Abadi, Jérémy Planul, Gordon D. Plotkin
    Pages 1-39

  3. Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

    • Alessandro Abate, Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 40-58

  4. An Operational Interpretation of Negative Probabilities and No-Signalling Models

    • Samson Abramsky, Adam Brandenburger
    Pages 59-75

  5. Bisimulation on Markov Processes over Arbitrary Measurable Spaces

    • Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
    Pages 76-95

  6. Probabilistic Model Checking for Energy-Utility Analysis

    • Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
    Pages 96-123

  7. (Co)Algebraic Characterizations of Signal Flow Graphs

    • Henning Basold, Marcello Bonsangue, Helle Hvid Hansen, Jan Rutten
    Pages 124-145

  8. Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra

    • Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose
    Pages 146-167

  9. Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs

    • Frank S. de Boer, Maurizio Gabbrielli
    Pages 168-179

  10. Privacy from Accelerating Eavesdroppers: The Impact of Losses

    • Adam Bognat, Patrick Hayden
    Pages 180-190

  11. The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

    • Franck van Breugel, James Worrell
    Pages 191-213

  12. From Haar to Lebesgue via Domain Theory

    • Will Brian, Michael Mislove
    Pages 214-228

  13. Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars

    • Claudia Casadio, Mehrnoosh Sadrzadeh
    Pages 229-249

  14. The Logic of Entanglement

    • Bob Coecke
    Pages 250-267

  15. Free Energy of Petri Nets

    • Vincent Danos, Ilias Garnier
    Pages 268-289

  16. Laudatio for Prakash Panangaden

    • Josée Desharnais
    Pages 290-291

  17. Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms

    • Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
    Pages 292-318

  18. Bisimulation for Markov Decision Processes through Families of Functional Expressions

    • Norm Ferns, Doina Precup, Sophia Knight
    Pages 319-342

  19. Random Measurable Selections

    • Jean Goubault-Larrecq, Roberto Segala
    Pages 343-362

  20. A Final Coalgebra for k-regular Sequences

    • Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
    Pages 363-383
Back to top

Keywords

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.

Editors and Affiliations

  • Department of Electrical Engineering and Computer Science, York University, Toronto, Canada

    Franck Breugel

  • School of Informatics, Informatics Forum, University of Edinburgh, Edinburgh, UK

    Elham Kashefi

  • Inria Saclay, Campus de l’École Polytechnique, Bâtiment Alan Turing, Palaiseau, France

    Catuscia Palamidessi

  • CWI, Amsterdam, The Netherlands

    Jan Rutten

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation