Current Trends in Concurrency

Overviews and Tutorials

  • Editors
  • J. W. de Bakker
  • W. -P. de Roever
  • G. Rozenberg
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 224)

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 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace