Skip to main content
  • Conference proceedings
  • © 1998

Foundations of Software Technology and Theoretical Computer Science

18th Conference, Chennai, India, December 17-19, 1998, Proceedings

Conference proceedings info: FSTTCS 1998.

Buying options

eBook USD 74.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (34 papers)

  1. Front Matter

  2. Invited Talk 1

  3. Session 1(a)

    1. Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem

      • Nili Guttmann-Beck, Refael Hassin, Samir Khuller, Balaji Raghavachari
      Pages 6-17
    2. A Hamiltonian Approach to the Assignment of Non-reusable Frequencies

      • Dimitris A. Fotakis, Paul G. Spirakis
      Pages 18-29
  4. Session 1(b)

    1. On encoding pπ in mπ

      • Paola Quaglia, David Walker
      Pages 42-53
  5. Session 2(b)

    1. Testing Theories for Asynchronous Languages

      • Ilaria Castellani, Matthew Hennessy
      Pages 90-101
  6. Session 3

    1. Optimal Regular Tree Pattern Matching Using Pushdown Automata

      • Maya Madhavan, Priti Shankar
      Pages 122-133
    2. Locating Matches of Tree Patterns in Forests

      • Andreas Neumann, Helmut Seidl
      Pages 134-145
  7. Session 4

    1. Implementable Failure Detectors in Asynchronous Systems

      • Vijay K. Garg, J. Roger Mitchell
      Pages 158-169
  8. Invited Talk 3

    1. BRICS and Quantum Information Processing

      • Erik Meineche Schmidt
      Pages 170-173
  9. Session 5(a)

    1. Martingales and Locality in Distributed Computing

      • Devdatt P. Dubhashi
      Pages 174-185
    2. Space Efficient Suffix Trees

      • Ian Munro, Venkatesh Raman, S. Srinivasa Rao
      Pages 186-196
  10. Session 5(b)

    1. Formal Verification of an O.S. Submodule

      • N. S. Pendharkar, K. Gopinath
      Pages 197-208
    2. Infinite Probabilistic and Nonprobabilistic Testing

      • K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
      Pages 209-220

Other Volumes

  1. Foundations of Software Technology and Theoretical Computer Science

Keywords

  • Mathematica
  • Program Semantics
  • algorithms
  • computer science
  • formal methods
  • logic
  • mathematical logic
  • semantics
  • software
  • software engineering
  • theoretical computer science

Editors and Affiliations

  • The Institute of Mathematical Sciences, Chennai, India

    Vikraman Arvind

  • National Institute of Advanced Studies, Indian Institute of Science Campus, Bangalore, India

    Sundar Ramanujam

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions