Current Trends in Concurrency : Overviews and Tutorials. 1st ed. 1986
- 種類:
- 電子ブック
- 責任表示:
- edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 224
- ISBN:
- 9783540398271 [3540398279]
- 注記:
- 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.
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer-Verlag | |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
9
![]() Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |