Abstract is missing.
- Layout Randomization and NondeterminismMartín Abadi, Jérémy Planul, Gordon D. Plotkin. 1-39 [doi]
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate BisimulationsAlessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker. 40-58 [doi]
- An Operational Interpretation of Negative Probabilities and No-Signalling ModelsSamson Abramsky, Adam Brandenburger. 59-75 [doi]
- Bisimulation on Markov Processes over Arbitrary Measurable SpacesGiorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. 76-95 [doi]
- Probabilistic Model Checking for Energy-Utility AnalysisChristel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich. 96-123 [doi]
- (Co)Algebraic Characterizations of Signal Flow GraphsHenning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten. 124-145 [doi]
- Fractal Sets as Final Coalgebras Obtained by Completing an Initial AlgebraPrasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose. 146-167 [doi]
- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint ProgramsFrank S. de Boer, Maurizio Gabbrielli. 168-179 [doi]
- Privacy from Accelerating Eavesdroppers: The Impact of LossesAdam Bognat, Patrick Hayden. 180-190 [doi]
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic AutomataFranck van Breugel, James Worrell. 191-213 [doi]
- From Haar to Lebesgue via Domain TheoryWill Brian, Michael Mislove. 214-228 [doi]
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup GrammarsClaudia Casadio, Mehrnoosh Sadrzadeh. 229-249 [doi]
- The Logic of EntanglementBob Coecke. 250-267 [doi]
- Free Energy of Petri NetsVincent Danos, Ilias Garnier. 268-289 [doi]
- Laudatio for Prakash PanangadenJosée Desharnais. 290-291 [doi]
- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal MechanismsEhab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi. 292-318 [doi]
- Bisimulation for Markov Decision Processes through Families of Functional ExpressionsNorm Ferns, Doina Precup, Sophia Knight. 319-342 [doi]
- Random Measurable SelectionsJean Goubault-Larrecq, Roberto Segala. 343-362 [doi]
- A Final Coalgebra for k-regular SequencesHelle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter. 363-383 [doi]
- Automata Learning: A Categorical PerspectiveBart Jacobs, Alexandra Silva. 384-406 [doi]
- Optimal Coin FlippingDexter Kozen. 407-426 [doi]
- Entanglement, Flow and Classical Simulatability in Measurement Based Quantum ComputationDamian Markham, Elham Kashefi. 427-453 [doi]
- Euclidean Representations of Quantum StatesKeye Martin, Johnny Feng, Tanner Crowder. 454-457 [doi]
- TCC, with HistoryVijay A. Saraswat, Vineet Gupta, Radha Jagadeesan. 458-475 [doi]
- Probabilistic and Quantum Event StructuresGlynn Winskel. 476-497 [doi]