Advertisement

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
  10. Sakti Pramanik, David Vineyard
    Pages 282-304
  11. Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
    Pages 305-325
  12. Lee Naish
    Pages 326-339
  13. Howard A. Blair, V. S. Subrahmanian
    Pages 340-360
  14. David Gries
    Pages 373-375
  15. Alain Laville
    Pages 400-419
  16. Alberto Pettorossi
    Pages 420-434
  17. Stathis Zachos, Martin Furer
    Pages 443-455
  18. A. Sanyal, S. Biswas, V. M. Malhotra
    Pages 485-499
  19. K. V. Nori, Sanjeev Kumar, M. Pavan Kumar
    Pages 500-527
  20. Rohit Parikh
    Pages 528-539
  21. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering