Ebook: Current Trends in Concurrency: Overviews and Tutorials
- Tags: Programming Techniques, Logics and Meanings of Programs, Models and Principles
- Series: Lecture Notes in Computer Science 224
- Year: 1986
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages -
Computer science in industry....Pages VI-XII
Dataflow and education: Data-driven and demand-driven distributed computation....Pages 1-50
Contrasting themes in the semantics of imperative concurrency....Pages 51-121
Functional programming and the language tale....Pages 122-207
Design, specification and validation of hierarchies of protocols in distributed systems....Pages 208-265
Infinitary languages: Basic theory and applications to concurrent systems....Pages 266-342
The quest goes on: A survey of proofsystems for partial correctness of CSP....Pages 343-395
Logic programming: The foundations, the approach and the role of concurrency....Pages 396-441
Process theory: Semantics, specification and verification....Pages 442-509
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends....Pages 510-584
Petri nets: Basic notions, structure, behaviour....Pages 585-668
Concepts for concurrent programming....Pages 669-716
Content:
Front Matter....Pages -
Computer science in industry....Pages VI-XII
Dataflow and education: Data-driven and demand-driven distributed computation....Pages 1-50
Contrasting themes in the semantics of imperative concurrency....Pages 51-121
Functional programming and the language tale....Pages 122-207
Design, specification and validation of hierarchies of protocols in distributed systems....Pages 208-265
Infinitary languages: Basic theory and applications to concurrent systems....Pages 266-342
The quest goes on: A survey of proofsystems for partial correctness of CSP....Pages 343-395
Logic programming: The foundations, the approach and the role of concurrency....Pages 396-441
Process theory: Semantics, specification and verification....Pages 442-509
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends....Pages 510-584
Petri nets: Basic notions, structure, behaviour....Pages 585-668
Concepts for concurrent programming....Pages 669-716
....
Download the book Current Trends in Concurrency: Overviews and Tutorials for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)