Advertisement

Table of contents

  1. Front Matter
  2. Sergio Greco, Domenico Saccà
    Pages 33-42
  3. J. H. M. Lee, H. F. Leung, P. J. Stuckey, V. W. L. Tam, H. W. Won
    Pages 43-52
  4. Paul Tarau, Veronica Dahl, Andrew Fall
    Pages 53-63
  5. C. Sun, Y. Yang, Y. Zhang, D. Chen
    Pages 84-95
  6. Sugwoo Byun, Richard Kennaway, Ronan Sleep
    Pages 106-115
  7. Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian
    Pages 116-128
  8. Luigi Liquori, Giuseppe Castagna
    Pages 129-141
  9. Sergei Vorobyov
    Pages 152-161
  10. Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi
    Pages 162-171
  11. Wen-Shenq Juang, Chin-Laung Lei
    Pages 172-181
  12. Takayasu Kaida, Satoshi Uehara, Kyoki Imamura
    Pages 182-191
  13. Zong-Ben Xu, Bo-Ting Yang
    Pages 204-212
  14. Tzilla Elrad, Baoling Sheen, Novak V. Nastasic
    Pages 223-233
  15. I. A. Browne, Z. Manna, H. B. Sipma
    Pages 276-286
  16. Issam A. Hamid, Ferhat Khendek
    Pages 287-298
  17. Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
    Pages 299-308
  18. Rupak Majumdar, R. K. Shyamasundar
    Pages 309-320
  19. Li Xuandong, Dang Van Hung
    Pages 321-332
  20. Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
    Pages 335-336
  21. Hsin-Chu Chen, Alvin Lim, Nazir A. Warsi
    Pages 337-338
  22. Shaw-Cheng Chuang
    Pages 339-340
  23. Chan Fang Khoon, James Seng, L. -S. Ooi, J. -K. Tan, Kevin Mok, Tan Tin Wee
    Pages 341-342
  24. Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima
    Pages 343-344
  25. Lifeng He, Yuyan Chao, Yuka Simajiri, Hirohisa Seki, Hidenori Itoh
    Pages 345-346
  26. Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
    Pages 347-348
  27. Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya
    Pages 349-350
  28. Arthur Li, Omran Bukhres
    Pages 351-352
  29. Mukesh Mohania, Guozhu Dong
    Pages 353-354
  30. John Thornton, Abdul Sattar
    Pages 357-358
  31. Gert Smolka
    Pages 377-377
  32. J. D. Tygar, Bennet S. Yee, Nevin Heintze
    Pages 378-391

Other volumes

  1. Concurrency and Parallelism, Programming, Networking, and Security
    Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings
  2. Organizations, Processes, and Agents

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.
The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification.

Keywords

Algorithms algorithm concurrency distributed systems logic logic programming programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0027773
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62031-0
  • Online ISBN 978-3-540-49626-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications