Semantics of Concurrent Computation

Proceedings of the International Symposium Evian, France, July 2-4, 1979

herausgegeben von G. Kahn

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.