عنوان
پدید آورنده
موضوع
رده
QA76.6 E358 1979
QA76
.
6
E358
1979
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
354009511X
(Number (ISBN
3540351639
(Number (ISBN
9783540095118
(Number (ISBN
9783540351634
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565752
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Semantics of concurrent computation :
General Material Designation
[Book]
Other Title Information
proceedings of the international symposium, Évian, France, July 2-4, 1979
First Statement of Responsibility
edited by Gilles Kahn.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1979
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(368 pages) : illustrations
SERIES
Series Title
Lecture notes in computer science, 70.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Parallel processing (Electronic computers) -- Congresses.
Programming languages (Electronic computers) -- Semantics -- Congresses.
Traitement simultané (Ordinateurs) -- Congrès.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
E358
1979
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Gilles Kahn.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
G Kahn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
