Formal Methods for Protocol Engineering and Distributed Systems

FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China

  • Jianping Wu
  • Samuel T. Chanson
  • Qiang Gao
Book PSTV 1999, FORTE 1999

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 28)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Invited Talk I

    1. Front Matter
      Pages 1-1
    2. Test I

      1. A. Petrenko, S. Boroday, R. Groz
        Pages 5-24
      2. Claude Jard, Thierry Jéron, Lénaïck Tanguy, César Viho
        Pages 25-40
      3. Ana Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
        Pages 41-56
    3. FDTs I

      1. Birger Møller-Pedersen, Dagbjørn Nogva
        Pages 59-73
      2. Dirk Trossen, Christian Cseh, Roman Kogan
        Pages 95-115
    4. Test II

      1. Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson
        Pages 119-133
      2. Manuel Núñez, David Rupérez
        Pages 135-150
  3. Invited Talk II

    1. Front Matter
      Pages 165-165
    2. FDTs II

      1. Hubert Garavel, Mihaela Sighireanu
        Pages 185-202
      2. Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
        Pages 203-221
    3. Model Checking

      1. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
        Pages 225-240
      2. Yifei Dong, C. R. Ramakrishnan
        Pages 241-256
      3. Patrice Godefroid
        Pages 257-275
    4. Verification

      1. Pao-Ann Hsiung, Farn Wang
        Pages 279-294
      2. Michael Schenke, Michael Dossis
        Pages 313-331
  4. Invited Talk III

    1. Front Matter
      Pages 333-333
    2. Test III

      1. Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang
        Pages 337-356
      2. Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe
        Pages 357-376
      3. Jinsong Zhu, Son T. Vuong
        Pages 377-386
    3. FDTs III

      1. Wen Li, Xinming Ye, Zhiyong Liu
        Pages 389-400
      2. David de Frutos-Escrig, Natalia López, Manuel Núñez
        Pages 401-416
      3. Ahmed Khoumsi, Rachida Dssouli, Gregor V. Bochmann
        Pages 417-433
    4. Case Studies

    5. Invited Papers

      1. Gerard J. Holzmann, Margaret H. Smith
        Pages 481-497
  5. Back Matter
    Pages 499-499

About this book


Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:
  • FDT-based system and protocol engineering;
  • FDT application to distributed systems;
  • Protocol engineeering;
  • Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.


Internet Protocol (IP) Routing TCP Transmission Control Protocol communication configuration distributed systems multimedia tools

Editors and affiliations

  • Jianping Wu
    • 1
  • Samuel T. Chanson
    • 2
  • Qiang Gao
    • 3
  1. 1.Tsinghua UniversityChina
  2. 2.Hong Kong University of Science & TechnologyChina
  3. 3.IVTChina

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1999
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5270-0
  • Online ISBN 978-0-387-35578-8
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences