Format:
Online-Ressource (VI, 368 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540351634
Series Statement:
Lecture notes in computer science 70
Content:
The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language.
Note:
Literaturangaben
Additional Edition:
ISBN 354009511X
Additional Edition:
ISBN 038709511X
Additional Edition:
ISBN 9783540095118
Additional Edition:
Erscheint auch als Druck-Ausgabe Semantics of concurrent computation Berlin : Springer, 1979 ISBN 354009511X
Additional Edition:
ISBN 038709511X
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Semantik
;
Parallelverarbeitung
;
Programmierung
;
Evian 〈1979〉
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
