%A E.A. Ashcroft
%T Dataflow and eduction: data-driven and demand-driven distributed computation
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 1-50

%A J.W. de\ Bakker
%A J.N. Kok
%A J.-J.Ch. Meyer
%A E.-R. Olderog
%A J.I. Zucker
%T Contrasting themes in the semantics of imperative concurrency
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 51-121

%A H.P. Barendregt
%A M. van\ Leeuwen
%T Functional programming and the language TALE
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 122-207

%A M. Diaz
%A J.-P. Courtiat
%A A. Pedroza
%T Design, specification and validation of hierarchies of protocols
in distributed systems
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 208-265

%A H.J. Hoogeboom
%A G. Rozenberg
%T Infinitary languages: basic theory and applications to concurrent systems
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 266-342

%A J. Hooman
%A W.-P. de\ Roever
%T The quest goes on: a survey of proof systems for partial correctness in CSP
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 343-395

%A G. Levi
%T Logic programming: the foundations, the approach and the role of concurrency
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 396-441

%A E.-R./ Olderog
%T Process theory: semantics, specification and verification
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 442-509

%A A. Pnueli
%T Applications of temporal logic
to the specification and verification of reactive systems:
a survey of current trends
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 510-584

%A G. Rozenberg
%A P.S. Thiagarajan
%T Petri nets: basic notions, structure, behaviour
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 585-668

%A F.B. Schneider
%A G.R. Andrews
%T Concepts for concurrent programming
%B Current trends in concurrency: overviews and tutorials
%E J.W. de Bakker
%E W.-P. de Roever
%E G. Rozenberg
%S Lecture Notes in Computer Science
%N 224
%I Springer-Verlag
%C Berlin
%D 1986
%P 669-716