عنوان

Semantics of concurrent computation :

شابک

354009511X

شابک

3540351639

شابک

9783540095118

شابک

9783540351634

شماره

b565752

عنوان اصلي

Semantics of concurrent computation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

proceedings of the international symposium, Évian, France, July 2-4, 1979

نام نخستين پديدآور

edited by Gilles Kahn.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

1979

نام خاص و کميت اثر

(368 pages) : illustrations

عنوان فروست

Lecture notes in computer science, 70.

متن يادداشت

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.

موضوع مستند نشده

Parallel processing (Electronic computers) -- Congresses.

موضوع مستند نشده

Programming languages (Electronic computers) -- Semantics -- Congresses.

موضوع مستند نشده

Traitement simultané (Ordinateurs) -- Congrès.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Gilles Kahn.

مستند نام اشخاص تاييد نشده

G Kahn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y