• Francúzsky jazyk

Semantics of Concurrent Computation

Autor: 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... Viac o knihe

Na objednávku, dodanie 2-4 týždne

28.04 €

bežná cena: 32.99 €

O knihe

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.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 1979
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Francúzsky jazyk
  • ISBN: 9783540095118

Generuje redakčný systém BUXUS CMS spoločnosti ui42.