UID:
edoccha_9959186272002883
Format:
1 online resource (VIII, 372 p.)
Edition:
1st ed. 1979.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-35163-9
Series Statement:
Lecture Notes in Computer Science, 70
Note:
Bibliographic Level Mode of Issuance: Monograph
,
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.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-09511-X
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0022459
