UID:
almahu_9947920997502882
Format:
VIII, 372 p.
,
online resource.
ISBN:
9783540351634
Series Statement:
Lecture Notes in Computer Science, 70
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540095118
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0022459
