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

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 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
  • About this book