TY  - BOOK
AU  - Breugel,Franck van
AU  - Kashefi,Elham
AU  - Palamidessi,Catuscia
AU  - Rutten,Jan
TI  - Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday 
SN  - 9783319068800
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematical statistics
N1  - Layout Randomization and Nondeterminism -- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities and No-Signalling Models -- Bisimulation on Markov Processes over Arbitrary Measurable Spaces -- Probabilistic Model Checking for Energy-Utility Analysis -- (Co)Algebraic Characterizations of Signal Flow Graphs -- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra -- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers: The Impact of Losses -- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata -- From Haar to Lebesgue via Domain Theory -- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars -- The Logic of Entanglement -- Free Energy of Petri Nets -- Laudatio for Prakash Panangaden -- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random Measurable Selections -- A Final Coalgebra for k-regular Sequences -- Automata Learning: A Categorical Perspective -- Optimal Coin Flipping -- Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation -- Euclidean Representations of Quantum States -- TCC, with History -- Probabilistic and Quantum Event Structures
UR  - http://dx.doi.org/10.1007/978-3-319-06880-0
ER  -