Advances in Computing Science ASIAN 98

4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings

  • Jieh Hsiang
  • Atsushi Ohori
Conference proceedings ASIAN 1998

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talk 1

    1. Susumu Hayashi, Ryosuke Sumitomo
      Pages 1-3
  3. Session 1

    1. Harald Ganzinger, Florent Jacquemard, Margus Veanes
      Pages 4-21
  4. Tutorial 1

  5. Invited Talk 2

    1. Horatiu Cirstea, Claude Kirchner
      Pages 84-85
  6. Session 2

    1. C. H. Ang, S. T. Tan, T. C. Tan
      Pages 86-94
    2. Xiaoyong Du, Zhibin Liu, Naohiro Ishii
      Pages 95-112
  7. Session 3

    1. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
      Pages 125-141
    2. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
      Pages 142-156
    3. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
      Pages 157-168
  8. Session 4

    1. Martin Müller, Susumu Nishimura
      Pages 169-187
    2. Simon Helsen, Peter Thiemann
      Pages 188-205
    3. Masatomo Hashimoto
      Pages 206-223
  9. Keynote Address

    1. Jeannette M. Wing
      Pages 224-224
  10. Session 5

    1. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
      Pages 225-244

About these proceedings

Keywords

Bisimulation algorithms automated deduction formal method logic petri net proof theory semantics

Editors and affiliations

  • Jieh Hsiang
    • 1
  • Atsushi Ohori
    • 2
  1. 1.College of Science and TechnologyNational Chi-Nan UniversityPuli, NantouTaiwan
  2. 2.Research Institute for Mathematical SciencesKyoto UniversityKyotoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49366-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65388-2
  • Online ISBN 978-3-540-49366-2
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology