Advertisement

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

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

  • Vijay A. Saraswat
Conference proceedings ASIAN 2003

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

Table of contents

  1. Front Matter
  2. Greg Morrisett
    Pages 1-2
  3. Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Pages 18-32
  4. Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
    Pages 33-53
  5. Uwe Nestmann, Rachele Fuzzati
    Pages 54-71
  6. Martín Abadi, Andrew Birrell, Mike Burrows, Frank Dabek, Ted Wobber
    Pages 72-90
  7. Punit Chandra, Ajay D. Kshemkalyani
    Pages 91-109
  8. Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Pages 146-160
  9. Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
    Pages 173-187
  10. Bruno Blanchet, Benjamin Aziz
    Pages 188-204
  11. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
    Pages 205-223
  12. Mark S. Miller, Jonathan S. Shapiro
    Pages 224-242
  13. Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi
    Pages 243-259
  14. Koushik Sen, Grigore Roşu, Gul Agha
    Pages 260-275
  15. Benedikt Bollig, Martin Leucker
    Pages 291-304
  16. Back Matter

About these proceedings

Keywords

Linux Middleware Monitor Networking XML formal methods logic operating system petri net program semantics programming theory proof theory server configuration software engineering systems security

Editors and affiliations

  • Vijay A. Saraswat
    • 1
  1. 1.IBM TJ Watson Research CenterNY

Bibliographic information

  • DOI https://doi.org/10.1007/b94667
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20632-3
  • Online ISBN 978-3-540-40965-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering