Formal Techniques for Networked and Distributed Systems - FORTE 2003

23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings

  • Hartmut König
  • Monika Heiner
  • Adam Wolisz
Conference proceedings FORTE 2003

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

Table of contents

  1. Front Matter
  2. Paweł Rychwalski, Jacek Wytrębowicz
    Pages 1-14
  3. Paolo Romano, Milton Romero, Bruno Ciciani, Francesco Quaglia
    Pages 62-78
  4. Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka
    Pages 79-94
  5. Tim Kempster, Colin Stirling
    Pages 95-110
  6. Cyril Carrez, Alessandro Fantechi, Elie Najm
    Pages 111-126
  7. Doron Peled, Hongyang Qu
    Pages 127-143
  8. Peter Robinson, Carron Shankland
    Pages 144-159
  9. Farn Wang, Geng-Dian Hwang, Fang Yu
    Pages 160-176
  10. Jonathan Billington, Guy Edward Gallasch
    Pages 209-223
  11. Ivan Cibario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
    Pages 224-239
  12. Mana Taghdiri, Daniel Jackson
    Pages 240-256
  13. Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale
    Pages 273-288
  14. Robert M. Hierons, Hasan Ural
    Pages 289-302

About these proceedings

Introduction

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.

Keywords

Internet Multimedia Quality of Service Quality of Service (QoS) UNIX algorithms communication system computer communications distributed computing distributed systems model checking modeling security protocols testing verification

Editors and affiliations

  • Hartmut König
    • 1
  • Monika Heiner
    • 2
  • Adam Wolisz
    • 3
  1. 1.Faculty of Mathematics, Natural Sciences and Computer ScienceBrandenburg University of Technology at CottbusCottbusGermany
  2. 2.Department of Computer ScienceBrandenburg University of TechnologyCottbusGermany
  3. 3.Telecommunication Networks GroupTechnische Universität BerlinGermany

Bibliographic information

  • DOI https://doi.org/10.1007/11965
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20175-5
  • Online ISBN 978-3-540-39979-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book