Book Volume 8464 2014

Horizons of the Mind. A Tribute to Prakash Panangaden

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

ISBN: 978-3-319-06879-4 (Print) 978-3-319-06880-0 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-39

    Layout Randomization and Nondeterminism

  3. No Access

    Chapter

    Pages 40-58

    Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

  4. No Access

    Chapter

    Pages 59-75

    An Operational Interpretation of Negative Probabilities and No-Signalling Models

  5. No Access

    Chapter

    Pages 76-95

    Bisimulation on Markov Processes over Arbitrary Measurable Spaces

  6. No Access

    Chapter

    Pages 96-123

    Probabilistic Model Checking for Energy-Utility Analysis

  7. No Access

    Chapter

    Pages 124-145

    (Co)Algebraic Characterizations of Signal Flow Graphs

  8. No Access

    Chapter

    Pages 146-167

    Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra

  9. No Access

    Chapter

    Pages 168-179

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

  10. No Access

    Chapter

    Pages 180-190

    Privacy from Accelerating Eavesdroppers: The Impact of Losses

  11. No Access

    Chapter

    Pages 191-213

    The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

  12. No Access

    Chapter

    Pages 214-228

    From Haar to Lebesgue via Domain Theory

  13. No Access

    Chapter

    Pages 229-249

    Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars

  14. No Access

    Chapter

    Pages 250-267

    The Logic of Entanglement

  15. No Access

    Chapter

    Pages 268-289

    Free Energy of Petri Nets

  16. No Access

    Chapter

    Pages 290-291

    Laudatio for Prakash Panangaden

  17. No Access

    Chapter

    Pages 292-318

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

  18. No Access

    Chapter

    Pages 319-342

    Bisimulation for Markov Decision Processes through Families of Functional Expressions

  19. No Access

    Chapter

    Pages 343-362

    Random Measurable Selections

  20. No Access

    Chapter

    Pages 363-383

    A Final Coalgebra for k-regular Sequences

  21. No Access

    Chapter

    Pages 384-406

    Automata Learning: A Categorical Perspective

previous Page of 2