Skip to main content
  • Conference proceedings
  • © 2003

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation

8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings

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

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

Conference proceedings info: ASIAN 2003.

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 (19 papers)

  1. Front Matter

  2. Achieving Type Safety for Low-Level Code

    • Greg Morrisett
    Pages 1-2
  3. Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation

    • Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Pages 18-32
  4. Information Flow Security for XML Transformations

    • Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
    Pages 33-53
  5. Unreliable Failure Detectors via Operational Semantics

    • Uwe Nestmann, Rachele Fuzzati
    Pages 54-71
  6. Bankable Postage for Network Services

    • Martín Abadi, Andrew Birrell, Mike Burrows, Frank Dabek, Ted Wobber
    Pages 72-90
  7. Global Predicate Detection under Fine-Grained Modalities

    • Punit Chandra, Ajay D. Kshemkalyani
    Pages 91-109
  8. Deaccumulation – Improving Provability

    • Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Pages 146-160
  9. Hierarchical Structure of 1-Safe Petri Nets

    • Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
    Pages 173-187
  10. A Calculus for Secure Mobility

    • Bruno Blanchet, Benjamin Aziz
    Pages 188-204
  11. A Calculus of Bounded Capacities

    • Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    Pages 205-223
  12. Paradigm Regained: Abstraction Mechanisms for Access Control

    • Mark S. Miller, Jonathan S. Shapiro
    Pages 224-242
  13. The Design and Evaluation of a Middleware Library for Distribution of Language Entities

    • Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi
    Pages 243-259
  14. Generating Optimal Linear Temporal Logic Monitors by Coinduction

    • Koushik Sen, Grigore RoÅŸu, Gul Agha
    Pages 260-275
  15. Model Checking Probabilistic Distributed Systems

    • Benedikt Bollig, Martin Leucker
    Pages 291-304

Other Volumes

  1. Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

Editors and Affiliations

  • IBM TJ Watson Research Center, NY

    Vijay A. Saraswat

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