Format:
Online-Ressource (VII, 398 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540397311
Series Statement:
Lecture notes in computer science 207
Content:
Using algebra for concurrency: Some approaches -- Some aspects of net theory -- From state machines to temporal logic: Specification methods for protocol standards -- A practical approach to the analysis of concurrent systems -- The problem set -- Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification -- Two-way channel with disconnect -- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad -- Parallel combinator reduction machine -- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input -- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch -- On the specification of the firing squad problem -- Towards the hierarchical, temporal logic, specification of concurrent systems -- Two way channel with disconnect -- An example of specification and verification in CESAR -- Trace theory and the specification of concurrent systems -- Syntax and informal semantics of DyNe, a parallel language -- Examples of a real-time temporal logic specification -- Problems from the workshop on the analysis of concurrent systems -- A simple railway system -- Description and analysis using CIRCAL -- Firing squad -- Specification of a simplified Network Service in Z (Problem 2) -- Specification of a simplified Network Service in CSP (Problem 2) -- A solution to problem 7 — parallel combinator reduction machine — -- A temporal analysis of some concurrent systems -- Solutions to problem no. 2 -- A CSP solution to the "trains" problem -- The train set problem -- Conclusions.
Note:
Literaturangaben
Additional Edition:
ISBN 3540160477
Additional Edition:
ISBN 0387160477
Additional Edition:
ISBN 9783540160472
Additional Edition:
Erscheint auch als Druck-Ausgabe The analysis of concurrent systems Berlin : Springer, 1985 ISBN 3540160477
Additional Edition:
ISBN 0387160477
Language:
English
Subjects:
Computer Science
Keywords:
Nebenläufigkeit
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-16047-7
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink
