Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday (Lecture Notes in Computer Science (8464))

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. Front Matter....Pages - Layout Randomization and Nondeterminism....Pages 1-39 Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations....Pages 40-58 An Operational Interpretation of Negative Probabilities and No-Signalling Models....Pages 59-75 Bisimulation on Markov Processes over Arbitrary Measurable Spaces....Pages 76-95 Probabilistic Model Checking for Energy-Utility Analysis....Pages 96-123 (Co)Algebraic Characterizations of Signal Flow Graphs....Pages 124-145 Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra....Pages 146-167 Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs....Pages 168-179 Privacy from Accelerating Eavesdroppers: The Impact of Losses....Pages 180-190 The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata....Pages 191-213 From Haar to Lebesgue via Domain Theory....Pages 214-228 Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars....Pages 229-249 The Logic of Entanglement....Pages 250-267 Free Energy of Petri Nets....Pages 268-289 Laudatio for Prakash Panangaden....Pages 290-291 Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms....Pages 292-318 Bisimulation for Markov Decision Processes through Families of Functional Expressions....Pages 319-342 Random Measurable Selections....Pages 343-362 A Final Coalgebra for k -regular Sequences....Pages 363-383 Automata Learning: A Categorical Perspective....Pages 384-406 Optimal Coin Flipping....Pages 407-426 Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation....Pages 427-453 Euclidean Representations of Quantum States....Pages 454-457 TCC, with History....Pages 458-475 Probabilistic and Quantum Event Structures....Pages 476-497 Back Matter....Pages - 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{OCLCbr#A0}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