Semantics of Concurrent Computation

Proceedings of the International Symposium Evian, France, July 2-4, 1979
Herausgegeben:Kahn, G.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 70
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-09511-8
• 1979.
• Seitenzahl: 380
• Erscheinungstermin: 1. Juni 1979
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 531g
• ISBN-13: 9783540095118
• ISBN-10: 354009511X
• Artikelnr.: 23115591

Inhaltsangabe

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.