Advertisement

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

  • Farn Wang

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

Table of contents

  1. Front Matter
  2. KEYNOTE SPEECHES

  3. REGULAR PAPERS

    1. Benedikt Bollig, Martin Leucker
      Pages 53-67
    2. Dezhuang Zhang, Rance Cleaveland
      Pages 83-97
    3. Lijun Zhang, Holger Hermanns, David N. Jansen
      Pages 98-112
    4. Oskar Wibling, Joachim Parrow, Arnold Pears
      Pages 128-142
    5. Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
      Pages 143-158
    6. César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher Gill, Zohar Manna
      Pages 159-173
    7. Charles A. Lakos
      Pages 174-188
    8. Kais Klai, Serge Haddad, Jean-Michel Ilié
      Pages 189-203
    9. Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
      Pages 204-218
    10. J. Chen, R. M. Hierons, H. Ural
      Pages 219-232
    11. Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei
      Pages 233-246
    12. Junyan Qian, Baowen Xu
      Pages 261-274
    13. Kairong Qian, Albert Nymeyer, Steven Susanto
      Pages 275-289
    14. Steffen Helke, Florian Kammüller
      Pages 305-319
    15. Astrid Kiehn, S. Arun-Kumar
      Pages 320-334
    16. Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke
      Pages 335-350
    17. Naijun Zhan, Mila Majster-Cederbaum
      Pages 351-365
    18. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
      Pages 366-380
    19. Matteo Pradella, Matteo Rossi, Dino Mandrioli
      Pages 381-395
    20. Bassel Daou, Gregor V. Bochmann
      Pages 396-410
    21. Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
      Pages 411-427
    22. Arshad Jhumka, Neeraj Suri
      Pages 428-442
    23. Jean-Michel Couvreur, Yann Thierry-Mieg
      Pages 443-457
    24. Kenneth J. Turner
      Pages 473-488
    25. Thomas Chatain, Loïc Hélouët, Claude Jard
      Pages 489-502
    26. Joel Kelso, George Milne
      Pages 503-517
  4. SHORT PAPERS

    1. Yueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao
      Pages 518-524
    2. Kai-Hui Chang, Jeh-Yen Kang, Han-Wei Wang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo
      Pages 525-528
    3. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
      Pages 529-532
    4. Yujun Zhang, Zhongcheng Li
      Pages 538-541
    5. Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen, Elisei Rotaru
      Pages 542-546
    6. Yongjian Li
      Pages 547-552
    7. Peng Wu, Dongmei Zhang
      Pages 553-556
  5. Back Matter

About these proceedings

Keywords

Bisimulation automata communication protocols distributed computing distributed systems embedded systems formal methods formal specification logic model checking modeling network protocols networked systems programming real-time

Editors and affiliations

  • Farn Wang
    • 1
  1. 1.Grad. Inst. of Electronic EngineeringNational Taiwan UniversityTaiwan, ROC

Bibliographic information

  • DOI https://doi.org/10.1007/11562436
  • Copyright Information IFIP International Federation for Information Processing 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29189-3
  • Online ISBN 978-3-540-32084-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site