Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Front Matter ....Pages i-xv
 Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games  (Thomas Colcombet, Nathanaël Fijalkow)....Pages 1-26
 Resource-Tracking Concurrent Games  (Aurore Alcolei, Pierre Clairambault, Olivier Laurent)....Pages 27-44
 Change Actions: Models of Generalised Differentiation  (Mario Alvarez-Picallo, C.-H. Luke Ong)....Pages 45-61
 Coalgebra Learning via Duality  (Simone Barlocco, Clemens Kupke, Jurriaan Rot)....Pages 62-79
 Tight Worst-Case Bounds for Polynomial Loop Programs  (Amir M. Ben-Amram, Geoff W. Hamilton)....Pages 80-97
 A Complete Normal-Form Bisimilarity for State  (Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk)....Pages 98-114
 Identifiers in Registers  (Benedikt Bollig, Patricia Bouyer, Fabian Reiter)....Pages 115-132
 The Impatient May Use Limited Optimism to Minimize Regret  (Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard)....Pages 133-149
 Causality in Linear Logic  (Simon Castellan, Nobuko Yoshida)....Pages 150-168
 Rewriting Abstract Structures: Materialization Explained Categorically  (Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink)....Pages 169-188
 Two-Way Parikh Automata with a Visibly Pushdown Stack  (Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot)....Pages 189-206
 Kleene Algebra with Hypotheses  (Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic)....Pages 207-223
 Trees in Partial Higher Dimensional Automata  (Jérémy Dubut)....Pages 224-241
 The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains  (Mnacho Echenim, Radu Iosif, Nicolas Peltier)....Pages 242-259
 Continuous Reachability for Unordered Data Petri Nets is in PTime  (Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman)....Pages 260-276
 Optimal Satisfiability Checking for Arithmetic \(\mu \)-Calculi  (Daniel Hausmann, Lutz Schröder)....Pages 277-294
 Constructing Inductive-Inductive Types in Cubical Type Theory  (Jasper Hugunin)....Pages 295-312
 Causal Inference by String Diagram Surgery  (Bart Jacobs, Aleks Kissinger, Fabio Zanasi)....Pages 313-329
 Higher-Order Distributions for Differential Linear Logic  (Marie Kerjean, Jean-Simon Pacaud Lemay)....Pages 330-347
 Languages Ordered by the Subword Order  (Dietrich Kuske, Georg Zetzsche)....Pages 348-364
 Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces  (Thomas Leventis, Michele Pagani)....Pages 365-381
 A Sound and Complete Logic for Algebraic Effects  (Cristina Matache, Sam Staton)....Pages 382-399
 Equational Axiomatization of Algebras with Structure  (Stefan Milius, Henning Urbat)....Pages 400-417
 Towards a Structural Proof Theory of Probabilistic \(\mu \)-Calculi  (Christophe Lucas, Matteo Mio)....Pages 418-435
 Partial and Conditional Expectations in Markov Decision Processes with Integer Weights  (Jakob Piribauer, Christel Baier)....Pages 436-452
 Equational Theories and Monads from Polynomial Cayley Representations  (Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski)....Pages 453-469
 A Dialectica-Like Interpretation of a Linear MSO on Infinite Words  (Pierre Pradic, Colin Riba)....Pages 470-487
 Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time  (Helmut Seidl, Raphaela Palenta, Sebastian Maneth)....Pages 488-504
 Justness  (Rob van Glabbeek)....Pages 505-522
 Path Category for Free  (Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo)....Pages 523-540
Back Matter ....Pages 541-542