Table of contents

  1. Front Matter
  2. Yuri Gurevich
    Pages 1-2
  3. K. G. Subramanian, Do Van Long, Rani Siromoney
    Pages 3-14
  4. P. Shanthi Sastry, N. Jayakumar, C. E. Veni Madhavan
    Pages 65-78
  5. Shaji Bhaskar, Gael N. Buckley
    Pages 124-137
  6. J. C. M. Baeten, R. J. van Glabbeek
    Pages 153-172
  7. K. Mani Chandy, Jayadev Misra
    Pages 173-194
  8. Ethan Gannett, Suraj C. Kothari, Hsu-Chun Yen
    Pages 195-206
  9. Pratul Dublish, S. N. Maheshwari
    Pages 242-264

About these proceedings

Keywords

Algorithms Automat algorithm automata computer distributed computing formal language logic programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-18625-5
  • Copyright Information Springer-Verlag 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18625-0
  • Online ISBN 978-3-540-48033-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book