Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques for Networked and Distributed Systems

FORTE 2001

  • Conference proceedings
  • © 2001
Download book PDF

Overview

Editors:
  1. Myungchul Kim

    1. Information and Communications University (ICU), Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Byoungmoon Chin

    1. Telecommunications Technology Association (TTA), Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sungwon Kang

    1. Korea Telecom (KT), Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Danhyung Lee

    1. Korea IT Industry Promotion Agency (KIPA), Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FORTE 2001.

Buy print copy

Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (29 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Formal Methods in Software Development I

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Automated Derivation of ILP Implementations from SDL Specifications

      • Sven Twarok, Peter Langendoerfer, Hartmut Koenig
      Pages 3-18
      Download chapter PDF

    3. Stepwise Design with Message Sequence Charts

      • Ferhat Khendek, Stephan Bourduas, Daniel Vincent
      Pages 19-34
      Download chapter PDF

    4. Formal Synthesis and Control of Soft Embedded Real-Time Systems

      • Pao-Ann Hsiung
      Pages 35-50
      Download chapter PDF

  3. Distributed Systems Testing

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Towards a Formal Framework for Interoperability Testing

      • César Viho, Sébastien Barbin, Lénaïck Tanguy
      Pages 53-68
      Download chapter PDF

    3. Distributed Test Using Logical Clock

      • Young Joon Choi, Hee Yong Youn, Soonuk Seol, Sang Jo Yoo
      Pages 69-84
      Download chapter PDF

    4. Diagnosing Multiple Faults in Communicating Finite State Machines

      • Khaled El-Fakih, Nina Yevtushenko, Gregor v. Bochmann
      Pages 85-100
      Download chapter PDF

    5. From Active to Passive: Progress in Testing of Internet Routing Protocols

      • Jianping Wu, Yixin Zhao, Xia Yin
      Pages 101-116
      Download chapter PDF

  5. Process Algebra

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. PAMR: A Process Algebra for the Management of Resources in Concurrent Systems

      • Manuel Núñez, Ismael Rodríguez
      Pages 169-184
      Download chapter PDF

    3. A Symbolic Semantics and Bisimulation for Full Lotos

      • Muffy Calder, Carron Shankland
      Pages 185-200
      Download chapter PDF

    4. Implementing a Modal Logic Over Data and Processes Using XTL

      • Jeremy Bryans, Carron Shankland
      Pages 201-216
      Download chapter PDF

  6. Applications of Verification

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    2. Formal Verification of Peephole Optimizations in Asynchronous Circuits

      • Xiaohua Kong, Radu Negulescu
      Pages 219-234
      Download chapter PDF
Back to top

Other volumes

  1. Formal Techniques for Networked and Distributed Systems

Keywords

About this book

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has a long history of 21 years. The purpose of this conference is to introduce theories and formal techniques applicable to various engineering stages of networked and distributed systems and to share applications and experiences of them. This FORTE 2001 conference proceedings contains 24 refereed papers and 4 invited papers on the subjects. We regret that many good papers submitted could not be published in this volume due to the lack of space. FORTE 2001 was organized under the auspices of IFIP WG 6.1 by Information and Communications University of Korea. It was financially supported by Ministry of Information and Communication of Korea. We would like to thank every author who submitted a paper to FORTE 2001 and thank the reviewers who generously spent their time on reviewing. Special thanks are due to the reviewers who kindly conducted additional reviews for rigorous review process within a very short time frame. We would like to thank Prof. Guy Leduc, the chairman of IFIP WG 6.1, who made valuable suggestions and shared his experiences for conference organization.

Editors and Affiliations

  • Information and Communications University (ICU), Korea

    Myungchul Kim

  • Telecommunications Technology Association (TTA), Korea

    Byoungmoon Chin

  • Korea Telecom (KT), Korea

    Sungwon Kang

  • Korea IT Industry Promotion Agency (KIPA), Korea

    Danhyung Lee

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation