Foundations of Software Science and Computational Structures

11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

  • Editors
  • Roberto Amadio
Conference proceedings FoSSaCS 2008

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

Table of contents

  1. Front Matter
  2. Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
    Pages 35-49
  3. P. Chambart, Ph. Schnoebelen
    Pages 97-111
  4. Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
    Pages 112-126
  5. Guillem Godoy, Sebastian Maneth, Sophie Tison
    Pages 127-141
  6. Manfred Droste, Karin Quaas
    Pages 142-156
  7. Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
    Pages 157-171
  8. Mikołaj Bojańczyk
    Pages 172-185
  9. Laura Bozzelli
    Pages 186-200
  10. Mohammad Raza, Philippa Gardner
    Pages 201-215
  11. Deepak Garg, Martín Abadi
    Pages 216-230
  12. M. M. Bonsangue, Jan Rutten, Alexandra Silva
    Pages 231-245
  13. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
    Pages 246-260

About these proceedings

Keywords

automata communication complexity computational structures erasure footprints formal methods lambda calculus local reasoning logic mathematical foundations model checking polymorphism program correctness programming

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78499-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78497-5
  • Online ISBN 978-3-540-78499-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book