Foundations of Software Science and Computation Structures

17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

  • Anca Muscholl
Conference proceedings FoSSaCS 2014

DOI: 10.1007/978-3-642-54830-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8412)

Table of contents (29 papers)

  1. Front Matter
  2. Probabilistic Systems

    1. Active Diagnosis for Probabilistic Systems
      Nathalie Bertrand, Éric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
      Pages 29-42
    2. Analysis of Probabilistic Basic Parallel Processes
      Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
      Pages 43-57
    3. Limit Synchronization in Markov Decision Processes
      Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
      Pages 58-72
  3. Semantics of Programming Languages

  4. Networks

    1. Network-Formation Games with Regular Objectives
      Guy Avni, Orna Kupferman, Tami Tamir
      Pages 119-133
    2. Playing with Probabilities in Reconfigurable Broadcast Networks
      Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
      Pages 134-148
  5. Program Analysis

    1. Unsafe Order-2 Tree Languages Are Context-Sensitive
      Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
      Pages 149-163
    2. Game Semantics for Nominal Exceptions
      Andrzej S. Murawski, Nikos Tzevelekos
      Pages 164-179
    3. Complexity of Model-Checking Call-by-Value Programs
      Takeshi Tsukada, Naoki Kobayashi
      Pages 180-194
  6. Games and Synthesis

    1. Perfect-Information Stochastic Mean-Payoff Parity Games
      Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
      Pages 210-225
    2. Latticed-LTL Synthesis in the Presence of Noisy Inputs
      Shaull Almagor, Orna Kupferman
      Pages 226-241
    3. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies
      Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
      Pages 242-257
  7. Compositional Reasoning

    1. On Asymmetric Unification and the Combination Problem in Disjoint Theories
      Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
      Pages 274-288
  8. Bisimulation

    1. Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
      Pedro R. D’Argenio, Daniel Gebler, Matias David Lee
      Pages 289-303

About these proceedings


This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.


Markov decision processes algebraic semantics bisimulation categorical semantics formal methods game theory logics of programming networks probabilistic systems probability and statistics program analysis program semantics program verification semantics and reasoning software analysis software engineering software systems software verification theory of computation

Editors and affiliations

  • Anca Muscholl
    • 1
  1. 1.LaBRIUniversiy of BordeauxFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54829-1
  • Online ISBN 978-3-642-54830-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349