
×
Semantics of Concurrent Computation
Proceedings of the International Symposium Evian, France, July 2-4, 1979
herausgegeben von G. KahnInhaltsverzeichnis
- 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.