Current Trends in Concurrency, 1986

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Current Trends in Concurrency, Overviews and Tutorials. Lecture Notes in Computer Science Vol. 224 Springer 1986, ISBN 3-540-16488-X BibTeX

@book{DBLP:books/sp/Trends1986,
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Current Trends in Concurrency, Overviews and Tutorials},
  booktitle = {Current Trends in Concurrency},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {224},
  year      = {1986},
  isbn      = {3-540-16488-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Edward A. Ashcroft: Dataflow and Education: Data-driven and Demand-driven Distributed Computation. 1-50 BibTeX
J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Contrasting Themes in the Semantics of Imperative Concurrency. 51-122 BibTeX
Henk Barendregt, Marc van Leeuwen: Functional Programming and the Language TALE. 122-207 BibTeX
Michel Diaz, Jean-Pierre Courtiat, Aloysio Pedroza: Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. 208-265 BibTeX
Hendrik Jan Hoogeboom, Grzegorz Rozenberg: Infinitary Languages: Basic Theory an Applications to Concurrent Systems. 266-342 BibTeX
Jozef Hooman, Willem P. de Roever: The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP. 343-395 BibTeX
Giorgio Levi: Logic Programming: The Foundations, the Approach and the Role of Concurrency. 396-441 BibTeX
Ernst-Rüdiger Olderog: Process Theory: Semantics, Specification and Verification. 442-509 BibTeX
Amir Pnueli: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. 510-584 BibTeX
Grzegorz Rozenberg, P. S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour. 585-668 BibTeX
Fred B. Schneider, Gregory R. Andrews: Concepts for Concurrent Programming. 669-716 BibTeX