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

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

Table of contents

  1. Front Matter
  2. Probabilistic Systems

    1. Nathalie Bertrand, Éric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
      Pages 29-42
    2. Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
      Pages 43-57
    3. Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
      Pages 58-72
  3. Semantics of Programming Languages

  4. Networks

    1. Guy Avni, Orna Kupferman, Tami Tamir
      Pages 119-133
    2. Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
      Pages 134-148
  5. Program Analysis

    1. Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
      Pages 149-163
    2. Andrzej S. Murawski, Nikos Tzevelekos
      Pages 164-179
    3. Takeshi Tsukada, Naoki Kobayashi
      Pages 180-194
  6. Games and Synthesis

    1. Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
      Pages 210-225
    2. Shaull Almagor, Orna Kupferman
      Pages 226-241
    3. Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
      Pages 242-257
  7. Compositional Reasoning

    1. Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
      Pages 274-288
  8. Bisimulation

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

  • DOI
  • 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
  • About this book
Industry Sectors