Table of contents

  1. Front Matter
  2. Tamal K. Dey, Arunabha Roy, Nimish R. Shah
    Pages 6-21
  3. Sanjeev Mahajan, Edgar A. Ramos, K. V. Subrahmanyam
    Pages 22-36
  4. K. Cirino, S. Muthukrishnan, N. S. Narayanaswamy, H. Ramesh
    Pages 37-53
  5. Edmund M. Clarke
    Pages 54-56
  6. A. D. Gordon, P. D. Hankin, S. B. Lassen
    Pages 74-87
  7. Massimo Marchiori
    Pages 88-102
  8. Deepak Kapur, M. Subramaniam
    Pages 103-122
  9. E. Pontelli, D. Ranjan, G. Gupta
    Pages 123-137
  10. Jia -Huai You, Li Yan Yuan, Randy Goebel
    Pages 138-152
  11. Swarup Mohalik, R. Ramanujam
    Pages 153-168
  12. Sandeep S. Kulkarni, Anish Arora
    Pages 169-183
  13. Madhu Sudan
    Pages 184-199
  14. V. Arvind, J. Köbler
    Pages 235-249
  15. Moshe Y. Vardi
    Pages 250-266
  16. F. S. de Boer, U. Hannemann, W. -P. de Roever
    Pages 267-283

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Keywords

Algorithms Automat Bisimulation Variable algorithm automata coding theory complexity computer science design logic petri net semantics simulation verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0058017
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63876-6
  • Online ISBN 978-3-540-69659-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology