17. FSTTCS 1997: Kharagpur, India

@proceedings{DBLP:conf/fsttcs/1997,
  editor    = {S. Ramesh and
               G. Sivakumar},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
  booktitle = {FSTTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1346},
  year      = {1997},
  isbn      = {3-540-63876-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

• Vijaya Ramachandran:
  QSM: A General Purpose Shared-Memory Model for Parallel Computation. 1-5
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 1

• Tamal K. Dey, Arunabha Roy, Nimish R. Shah:
  Approximating Geometric Domains through Topological Triangulations. 6-21
  Electronic Edition (Springer LINK) BibTeX
• Sanjeev Mahajan, Edgar A. Ramos, K. V. Subrahmanyam:
  Solving Some Discrepancy Problems in NC. 22-36
  Electronic Edition (Springer LINK) BibTeX
• K. Cirino, S. Muthukrishnan, N. S. Narayanaswamy, H. Ramesh:
  Graph Editing to Bipartite Interval Graphs: Exact and Asymtotic Bounds. 37-53
  Electronic Edition (Springer LINK) BibTeX

Invited Talk 2

• Edmund M. Clarke:
  Model Cheking. 54-56
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 2

• A. J. Kfoury:
  Recursion Versus Iteration at Higher-Orders. 57-73
  Electronic Edition (Springer LINK) BibTeX
• Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen:
  Compilation and Equivalence of Imperative Objects. 74-87
  Electronic Edition (Springer LINK) BibTeX
• Massimo Marchiori:
  On the Expressive Power of Rewriting. 88-102
  Electronic Edition (Springer LINK) BibTeX

Invited Talk 3

• Deepak Kapur, Mahadevan Subramaniam:
  Mechanizing Verification of Arithmetic Circuits: SRT Division. 103-122
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 3

• Enrico Pontelli, Desh Ranjan, Gopal Gupta:
  On the Complexity of Parallel Implementation of Logic Programs. 123-137
  Electronic Edition (Springer LINK) BibTeX
• Jia-Huai You, Li-Yan Yuan, Randy Goebel:
  An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. 138-152
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 4

• Swarup Mohalik, Ramaswamy Ramanujam:
  Assumption-Commitment in Automata. 153-168
  Electronic Edition (Springer LINK) BibTeX
• Sandeep S. Kulkarni, Anish Arora:
  Compositional Design of Multitolerant Repetitive Byzantine Agreement. 169-183
  Electronic Edition (Springer LINK) BibTeX

Invited Talk 4

• Madhu Sudan:
  Algorithmic Issues in Coding Theory. 184-199
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 5

• Anil Seth:
  Sharper Results on the Expressive Power of Generalized Quantifiers. 200-219
  Electronic Edition (Springer LINK) BibTeX
• N. V. Vinodchandran:
  Improved Lowness Results for Solvable Black-box Group Problems. 220-234
  Electronic Edition (Springer LINK) BibTeX
• Vikraman Arvind, Johannes Köbler:
  On Resource-Bounded Measure and Pseudorandomness. 235-249
  Electronic Edition (Springer LINK) BibTeX

Invited Talk 5

• Moshe Y. Vardi:
  Verification of Open Systems. 250-266
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 6

• Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever:
  Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. 267-283
  Electronic Edition (Springer LINK) BibTeX
• Kedar S. Namjoshi:
  A Simple Characterization of Stuttering Bisimulation. 284-296
  Electronic Edition (Springer LINK) BibTeX

Contributed Paper Session 7

• Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann:
  General Refinement for High Level Petri Nets. 297-311
  Electronic Edition (Springer LINK) BibTeX
• Catherine Dufourd, Alain Finkel:
  Polynomial-Time Manz-One Reductions for Petri Nets. 312-326
  Electronic Edition (Springer LINK) BibTeX
• Burkhard Graves:
  Computing Reachability Properties Hidden in Finite Net Unfoldings. 327-341
  Electronic Edition (Springer LINK) BibTeX