Editors:
Includes supplementary material: sn.pub/extras
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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (19 papers)
-
Front Matter
Other Volumes
-
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
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
-
IBM TJ Watson Research Center, NY
Vijay A. Saraswat
Bibliographic Information
Book Title: Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation
Book Subtitle: 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings
Editors: Vijay A. Saraswat
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b94667
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-20632-3Published: 24 November 2003
eBook ISBN: 978-3-540-40965-6Published: 15 December 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 312
Topics: Software Engineering, Computer Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming