|
" Current trends in concurrency : "
edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746046
|
| Doc. No
|
:
|
b565995
|
| Main Entry
|
:
|
edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
|
| Title & Author
|
:
|
Current trends in concurrency : : overviews and tutorials\ edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
|
| Publication Statement
|
:
|
Berlin ; New York : Springer-Verlag, ©1986.
|
| Series Statement
|
:
|
Lecture notes in computer science, 224.
|
| Page. NO
|
:
|
(xii, 716 pages) : illustrations
|
| ISBN
|
:
|
3540398279
|
|
|
:
|
: 9783540398271
|
| Contents
|
:
|
Computer science in industry --; Dataflow and education: Data-driven and demand-driven distributed computation --; Contrasting themes in the semantics of imperative concurrency --; Functional programming and the language tale --; Design, specification and validation of hierarchies of protocols in distributed systems --; Infinitary languages: Basic theory and applications to concurrent systems --; The quest goes on: A survey of proofsystems for partial correctness of CSP --; Logic programming: The foundations, the approach and the role of concurrency --; Process theory: Semantics, specification and verification --; Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends --; Petri nets: Basic notions, structure, behaviour --; Concepts for concurrent programming.
|
| Subject
|
:
|
Parallel processing (Electronic computers)
|
| Subject
|
:
|
Parallel processing (Electronic computers) -- Congresses.
|
| Subject
|
:
|
Parallélisme (Informatique) -- Congrès.
|
| Added Entry
|
:
|
Dutch Concurrency Project.
|
|
|
:
|
European Strategic Programme of Research and Development in Information Technology. Project 415.
|
|
|
:
|
Grzegorz Rozenberg
|
|
|
:
|
J W de Bakker
|
|
|
:
|
W -P de Roever
|
| |