Cover Image

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

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: van Breugel, Franck. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kashefi, Elham. (Editor, http://id.loc.gov/vocabulary/relators/edt), Palamidessi, Catuscia. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rutten, Jan. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Theoretical Computer Science and General Issues ; 8464
Subjects:
Computer logic.
Mathematical logic.
Mathematical statistics.
Computers.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Probability and Statistics in Computer Science.
Computation by Abstract Devices.
Online Access:https://doi.org/10.1007/978-3-319-06880-0
Table of Contents:
  • 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.

Similar Items