8. ASIAN 2003: Mumbai, India

@proceedings{DBLP:conf/asian/2003,
  editor    = {Vijay A. Saraswat},
  title     = {Advances in Computing Science - ASIAN 2003 Programming Languages
               and Distributed Computation, 8th Asian Computing Science Conference,
               Mumbai, India, December 10-14, 2003, Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2896},
  year      = {2003},
  isbn      = {3-540-20632-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• J. Gregory Morrisett:
  Achieving Type Safety for Low-Level Code. 1-2
  Electronic Edition (link) BibTeX
• Toshiyuki Maeda, Akinori Yonezawa:
  Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. 3-17
  Electronic Edition (link) BibTeX
• Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda:
  Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation. 18-32
  Electronic Edition (link) BibTeX
• Véronique Benzaken, Marwan Burelle, Giuseppe Castagna:
  Information Flow Security for XML Transformations. 33-53
  Electronic Edition (link) BibTeX
• Uwe Nestmann, Rachele Fuzzati:
  Unreliable Failure Detectors via Operational Semantics. 54-71
  Electronic Edition (link) BibTeX
• Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber:
  Bankable Postage for Network Services. 72-90
  Electronic Edition (link) BibTeX
• Punit Chandra, Ajay D. Kshemkalyani:
  Global Predicate Detection under Fine-Grained Modalities. 91-109
  Electronic Edition (link) BibTeX
• Naijun Zhan:
  Combining Hierarchical Specification with Hierarchical Implementation. 110-124
  Electronic Edition (link) BibTeX
• Deepak Kapur, Mahadevan Subramaniam:
  Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. 125-145
  Electronic Edition (link) BibTeX
• Jürgen Giesl, Armin Kühnemann, Janis Voigtländer:
  Deaccumulation - Improving Provability. 146-160
  Electronic Edition (link) BibTeX
• Ning Chen, Hong Zhu:
  Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction. 161-172
  Electronic Edition (link) BibTeX
• Kamal Lodaya, D. Ranganayakulu, K. Rangarajan:
  Hierarchical Structure of 1-Safe Petri Nets. 173-187
  Electronic Edition (link) BibTeX
• Bruno Blanchet, Benjamin Aziz:
  A Calculus for Secure Mobility. 188-204
  Electronic Edition (link) BibTeX
• Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
  A Calculus of Bounded Capacities. 205-223
  Electronic Edition (link) BibTeX
• Mark S. Miller, Jonathan S. Shapiro:
  Paradigm Regained: Abstraction Mechanisms for Access Control. 224-242
  Electronic Edition (link) BibTeX
• Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi:
  The Design and Evaluation of a Middleware Library for Distribution of Language Entities. 243-259
  Electronic Edition (link) BibTeX
• Koushik Sen, Grigore Rosu, Gul Agha:
  Generating Optimal Linear Temporal Logic Monitors by Coinduction. 260-275
  Electronic Edition (link) BibTeX
• Satoshi Yamane:
  Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems. 276-290
  Electronic Edition (link) BibTeX
• Benedikt Bollig, Martin Leucker:
  Model Checking Probabilistic Distributed Systems. 291-304
  Electronic Edition (link) BibTeX