Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979 [1 ed.] 354009511X, 9783540095118 [DJVU]

Table of contents :
The temporal semantics of concurrent programs....Pages 1-20
Modal logic of concurrent nondeterministic programs....Pages 21-33
Non-deterministic system specification....Pages 34-50
On properties preserved by contractions of concurrent systems....Pages 51-65
Static analysis of concurrent processes for dynamic properties using Petri Nets....Pages 66-90
Notion de Dualite et de Symetrie dans les Reseaux de Petri....Pages 91-108
A characterization of concurrency-like relations....Pages 109-122
The analysis of distributed systems by means of predicate/transition-nets....Pages 123-146
On describing the behavior and implementation of distributed systems....Pages 147-171
On the absence of livelocks in parallel programs....Pages 172-190
Denotational semantics of parallelism....Pages 191-202
An approach to fair applicative multiprogramming....Pages 203-225
Modeling a solution for a control problem in distributed systems by restrictions....Pages 226-248
Adequate path expressions....Pages 249-265
Petri nets, event structures and domains....Pages 266-284
An extensional treatment of dataflow deadlock....Pages 285-299
On achieving distributed termination....Pages 300-315
Specifying and proving properties of guardians for distributed systems....Pages 316-336
Principles for distributing programs....Pages 337-347
A Petri net definition of a system description language....Pages 348-368