Advertisement

Table of contents

  1. Front Matter
  2. A. J. Nijman
    Pages VI-XII
  3. J. W. de Bakker, J. N. Kok, J. -J. Ch. Meyer, E.-R. Olderog, J. I. Zucker
    Pages 51-121
  4. Henk Barendregt, Marc van Leeuwen
    Pages 122-207
  5. Jozef Hooman, Willem-P. de Roever
    Pages 343-395
  6. Ernst-Rüdiger Olderog
    Pages 442-509
  7. G. Rozenberg, P. S. Thiagarajan
    Pages 585-668
  8. Fred B. Schneider, Gregory R. Andrews
    Pages 669-716

About this book

Keywords

Computer distributed systems logic petri net programming semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0027037
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16488-3
  • Online ISBN 978-3-540-39827-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site