| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745803
|
| Doc. No
|
:
|
b565752
|
| Main Entry
|
:
|
edited by Gilles Kahn.
|
| Title & Author
|
:
|
Semantics of concurrent computation : : proceedings of the international symposium, Évian, France, July 2-4, 1979\ edited by Gilles Kahn.
|
| Publication Statement
|
:
|
Berlin ; New York : Springer-Verlag, 1979
|
| Series Statement
|
:
|
Lecture notes in computer science, 70.
|
| Page. NO
|
:
|
(368 pages) : illustrations
|
| ISBN
|
:
|
354009511X
|
|
|
:
|
: 3540351639
|
|
|
:
|
: 9783540095118
|
|
|
:
|
: 9783540351634
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Parallel processing (Electronic computers) -- Congresses.
|
| Subject
|
:
|
Programming languages (Electronic computers) -- Semantics -- Congresses.
|
| Subject
|
:
|
Traitement simultané (Ordinateurs) -- Congrès.
|
| LC Classification
|
:
|
QA76.6E358 1979
|
| Added Entry
|
:
|
G Kahn
|