Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: van Breugel, Franck (Éditeur intellectuel), Kashefi, Elham (Éditeur intellectuel), Palamidessi, Catuscia (Éditeur intellectuel), Rutten, Jan (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2014.
Édition:1st ed. 2014.
Collection:Theoretical Computer Science and General Issues, 8464
Sujets:
Computer science.
Machine theory.
Computer science-Mathematics.
Mathematical statistics.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Probability and Statistics in Computer Science.
Theory of Computation.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires