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

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
    2. James Ferlez, Rance Cleaveland, Steve Marcus
      Pages 304-319
    3. Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy
      Pages 320-334
  9. Categorical and Algebraic Models

    1. Filippo Bonchi, Paweł Sobociński, Fabio Zanasi
      Pages 351-365
    2. Jiří Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
      Pages 366-380
    3. Jurriaan Rot, Marcello Bonsangue
      Pages 381-395
    4. Guillaume Munch-Maccagnoni
      Pages 396-410
  10. Logics of Programming

    1. Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max Kanovich, Joël Ouaknine
      Pages 411-425
    2. Corina Cîrstea
      Pages 426-440
    3. Till Mossakowski, Andrzej Tarlecki
      Pages 441-456
  11. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-54829-1
  • Online ISBN 978-3-642-54830-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site