Foundations of Software Science and Computational Structures

13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

  • Luke Ong
Conference proceedings FoSSaCS 2010

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

Table of contents

  1. Front Matter
  2. FoSSaCS 2010 Invited Talk

  3. Semantics of Programming Languages

    1. Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
      Pages 2-17
    2. Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
      Pages 18-32
    3. Andrzej S. Murawski, Nikos Tzevelekos
      Pages 33-47
  4. Probabilistic and Randomised Computation

    1. Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca
      Pages 64-78
    2. Sonja Georgievska, Suzana Andova
      Pages 79-93
  5. Concurrency and Process Theory

    1. Thomas Wies, Damien Zufferey, Thomas A. Henzinger
      Pages 94-108
    2. Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
      Pages 128-145
    3. Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
      Pages 146-160
  6. Modal and Temporal Logics

    1. Balder ten Cate, Gaëlle Fontaine
      Pages 161-175
    2. Stéphane Demri, Arnaud Sangnier
      Pages 176-190
    3. Flemming Nielson, Hanne Riis Nielson
      Pages 191-205
    4. François Laroussinie, Antoine Meyer, Eudes Petonnet
      Pages 206-220
  7. Verification

    1. Pierre Chambart, Philippe Schnoebelen
      Pages 237-251
    2. Michael Holtmann, Łukasz Kaiser, Wolfgang Thomas
      Pages 252-266
    3. Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
      Pages 267-281

About these proceedings

Keywords

Simulation algorithms complexity programming programming language recursion structured analysis verification

Editors and affiliations

  • Luke Ong
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12032-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12031-2
  • Online ISBN 978-3-642-12032-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book