Format:
Online-Ressource (XII, 716 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540398271
Series Statement:
Lecture notes in computer science 224
Content:
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.
Note:
Literaturangaben
Additional Edition:
ISBN 354016488X
Additional Edition:
ISBN 038716488X
Additional Edition:
ISBN 9783540164883
Additional Edition:
Erscheint auch als Druck-Ausgabe Current trends in concurrency Berlin : Springer, 1986 ISBN 038716488X
Additional Edition:
ISBN 354016488X
Language:
English
Subjects:
Computer Science
Keywords:
Nebenläufigkeit
;
Konferenzschrift
;
Konferenzschrift
;
Aufsatzsammlung
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)