Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

  • Editors
  • Helmut Seidl
Conference proceedings FoSSaCS 2007

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Radha Jagadeesan
      Pages 1-1
  3. Contributed Papers

    1. Parosh Aziz Abdulla, Pavel Krcal, Wang Yi
      Pages 2-16
    2. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
      Pages 17-31
    3. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
      Pages 32-47
    4. Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
      Pages 48-62
    5. Jesper Bengtson, Joachim Parrow
      Pages 63-77
    6. Clara Bertolissi, Claude Kirchner
      Pages 78-92
    7. Lars Birkedal, Hongseok Yang
      Pages 93-107
    8. Patricia Bouyer, Kim G. Larsen, Nicolas Markey
      Pages 108-122
    9. Franck van Breugel, Babita Sharma, James Worrell
      Pages 123-137
    10. Krishnendu Chatterjee
      Pages 138-152
    11. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
      Pages 153-167
    12. Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin
      Pages 168-182
    13. Alessandro Ferrante, Aniello Murano
      Pages 183-197
    14. Stefan Göller, Markus Lohrey, Carsten Lutz
      Pages 198-212
    15. François Laroussinie, Nicolas Markey, Ghassan Oreiby
      Pages 243-257
    16. Bruno Marnette, Viktor Kuncak, Martin Rinard
      Pages 258-273
    17. Anca Muscholl, Igor Walukiewicz
      Pages 274-286
    18. Julian Rathke, Vladimiro Sassone, Paweł Sobociński
      Pages 302-316
    19. Akihiko Tozawa, Yasuhiko Minamide
      Pages 346-360
    20. Nobuko Yoshida, Kohei Honda, Martin Berger
      Pages 361-377
  4. Back Matter

About these proceedings


Automat automata formal verification logical foundations mathematical foundations model checking process algebras program analysis program correctness program logics programming programming calculi programming language semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-71388-3
  • Online ISBN 978-3-540-71389-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment