Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 by G. KahnSemantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 by G. Kahn

Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July…

EditorG. Kahn

Paperback | June 1, 1979

Pricing and Purchase Info

$59.27 online 
$64.95 list price save 8%
Earn 296 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July…Format:PaperbackDimensions:368 pages, 9.25 × 6.1 × 0.07 inPublished:June 1, 1979Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354009511X

ISBN - 13:9783540095118

Look for similar items by category:

Reviews

Table of 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.