Formal Techniques for Networked and Distributed Systems – FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

  • David de Frutos-Escrig
  • Manuel Núñez
Conference proceedings FORTE 2004

DOI: 10.1007/b100576

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Tomás Barros, Rabéa Boulifa, Eric Madelaine
      Pages 43-60
    2. Rüdiger Grammes, Reinhard Gotzhein
      Pages 61-78
    3. Samik Basu, Diptikalyan Saha, Scott A. Smolka
      Pages 79-96
    4. Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
      Pages 97-114
    5. May Haydar, Alexandre Petrenko, Houari Sahraoui
      Pages 115-132
    6. Hasan Ural, Hüsnü Yenigün
      Pages 133-149
    7. Baptiste Alcalde, Ana Cavalli, Dongluo Chen, Davy Khuu, David Lee
      Pages 150-166
    8. Jens Chr. Godskesen, Brian Nielsen, Arne Skou
      Pages 167-184
    9. Khaled El-Fakih, Nina Yevtushenko
      Pages 185-198
    10. Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoît Parreaux
      Pages 213-228
    11. Jessica Chen, Robert M. Hierons, Hasan Ural
      Pages 229-242
    12. Robert Meolic, Alessandro Fantechi, Stefania Gnesi
      Pages 259-275
    13. Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
      Pages 276-291
    14. Hermenegilda Maciá, Valentín Valero, Diego Cazorla, Fernando Cuartero
      Pages 292-308

Other volumes

  1. Formal Techniques for Networked and Distributed Systems – FORTE 2004
    24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
  2. FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

About these proceedings

Keywords

Automat Java Unified Modeling Language (UML) algorithms automata distributed systems petri net routing

Editors and affiliations

  • David de Frutos-Escrig
    • 1
  • Manuel Núñez
    • 2
  1. 1.Dpto. de Sistemas Informáticos y ComputaciónUniversidad Complutense de Madrid 
  2. 2.Dept. Sistemas Informáticos y Programación Facultad de InformáticaUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23252-0
  • Online ISBN 978-3-540-30232-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349