Skip to main content
  • Conference proceedings
  • © 1999

Advances in Computing Science - ASIAN'99

5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings

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

Conference series link(s): ASIAN: Asian Computer Science Conference

Conference proceedings info: ASIAN 1999.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (41 papers)

  1. Front Matter

    Pages I-XI
  2. Regular Papers

    1. The Game of the Name in Cryptographic Tables

      • Roberto M. Amadio, Sanjiva Prasad
      Pages 15-26
    2. A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs

      • T. Calamoneri, I. Finocchi, R. Petreschi, Y. Manoussakis
      Pages 27-36
    3. Rapid Prototyping Techniques for Fuzzy Controllers

      • Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha
      Pages 37-49
    4. Observable Sharing for Functional Circuit Description

      • Koen Claessen, David Sands
      Pages 62-73
    5. Relating May and Must Testing Semantics for Discrete Timed Process Algebras

      • Luis Fernando Llana Díaz, David de Frutos Escrig
      Pages 74-86
    6. A Framework for Formal Reasoning about Open Distributed Systems

      • Lars-Ã¥ke Fredlund, Dilian Gurov
      Pages 87-100
    7. Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic

      • Didier Galmiche, Dominique Larchey-Wendling
      Pages 101-112
    8. An Expressive Extension of TLC

      • Jesper Gulmann Henriksen
      Pages 126-138
    9. Logical Relations in Circuit Verification

      • Mia Indrika
      Pages 151-162
    10. On Automating Inductive and Non-inductive Termination Methods

      • Fairouz Kamareddine, François Monin
      Pages 177-189
    11. Asynchronous Links in the PBC and M-Nets

      • Hanna Klaudel, Franck Pommereau
      Pages 190-200
    12. Programming the Mobility Behaviour of Agents by Composing Itineraries

      • Seng Wai Loke, Heinz Schmidt, Arkady Zaslavsky
      Pages 214-226

Other Volumes

  1. Advances in Computing Science — ASIAN’99

Editors and Affiliations

  • Chennai Mathematical Institute, Chennai, India

    P. S. Thiagarajan

  • School of Computing, National University of Singapore, Singapore

    Roland Yap

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access