Advertisement

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
  14. Christel Baier, Nathalie Bertrand, Marcus Größer
    Pages 287-301
  15. Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger
    Pages 302-317
  16. Jean Goubault-Larrecq
    Pages 318-333
  17. Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
    Pages 334-349
  18. Nathan Mishra-Linger, Tim Sheard
    Pages 350-364
  19. Kentaro Kikuchi, Stéphane Lengrand
    Pages 380-394
  20. Filippo Bonchi, Ugo Montanari
    Pages 395-412
  21. Guilherme Rangel, Barbara König, Hartmut Ehrig
    Pages 413-427
  22. Bartek Klin, Vladimiro Sassone
    Pages 428-442
  23. Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
    Pages 443-457
  24. Philippe Darondeau, Blaise Genest, Loïc Hélouët
    Pages 458-473
  25. Peter Habermehl, Radu Iosif, Tomáš Vojnar
    Pages 474-489
  26. Stéphane Demri, Ranko Lazić, Arnaud Sangnier
    Pages 490-504
  27. Back Matter

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
  • Buy this book on publisher's site