Skip to main content
  • Conference proceedings
  • © 2003

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

Conference proceedings info: FSTTCS 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 (38 papers)

  1. Front Matter

  2. Contributed Papers

    1. Constructions of Sparse Asymmetric Connectors

      • Andreas Baltz, Gerold Jäger, Anand Srivastav
      Pages 13-22
    2. A Separation Logic for Resource Distribution

      • Nicolas Biri, Didier Galmiche
      Pages 23-37
    3. An Equational Theory for Transactions

      • Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
      Pages 38-49
    4. Axioms for Regular Words

      • Stephen L. Bloom, Zoltán Ésik
      Pages 50-61
    5. 1-Bounded TWA Cannot Be Determinized

      • MikoÅ‚aj Bojañczyk
      Pages 62-73
    6. Reachability Analysis of Process Rewrite Systems

      • Ahmed Bouajjani, Tayssir Touili
      Pages 74-87
    7. Pushdown Games with Unboundedness and Regular Conditions

      • Alexis-Julien Bouquet, Oliver Serre, Igor Walukiewicz
      Pages 88-99
    8. Real-Time Model-Checking: Parameters Everywhere

      • Véronique Bruyère, Jean-François Raskin
      Pages 100-111
    9. Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

      • Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
      Pages 124-135
    10. Subtyping Constraints in Quasi-lattices

      • Emmanuel Coquery, François Fages
      Pages 136-148
    11. Word Equations over Graph Products

      • Volker Diekert, Markus Lohrey
      Pages 156-167
    12. Comparing Sequences with Segment Rearrangements

      • Funda Ergun, S. Muthukrishnan, S. Cenk Sahinalp
      Pages 183-194
    13. On Logically Defined Recognizable Tree Languages

      • Zoltán Ésik, Pascal Weil
      Pages 195-207
    14. Randomized Time-Space Tradeoffs for Directed Graph Connectivity

      • Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta
      Pages 208-216
    15. Distance-Preserving Approximations of Polygonal Paths

      • Joachim Gudmundsson, Giri Narasimhan, Michiel Smid
      Pages 217-228

Other Volumes

  1. FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Editors and Affiliations

  • Tata Institute of Fundamental Research, India

    Paritosh K. Pandya

  • Tata Institute of Fundamental Research, School of Technology and Computer Science, Mumbai, India

    Jaikumar Radhakrishnan

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