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

About these proceedings

Keywords

Algorithms Automat algorithm automata computer distributed computing formal language logic programming

Bibliographic information

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace