Semantics of Concurrent Computation | Proceedings of the International Symposium Evian, France, July 2-4, 1979 | ISBN 9783540351634

Semantics of Concurrent Computation

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

herausgegeben von G. Kahn
Buchcover Semantics of Concurrent Computation  | EAN 9783540351634 | ISBN 3-540-35163-9 | ISBN 978-3-540-35163-4

Semantics of Concurrent Computation

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

herausgegeben von G. Kahn

Inhaltsverzeichnis

  • 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.