Semantics of Concurrent Computation
Proceedings of the International Symposium Evian, France, July 2-4, 1979
(Sprache: Englisch, Französisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
32.09 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Semantics of Concurrent Computation “
Klappentext zu „Semantics of Concurrent Computation “
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.
Inhaltsverzeichnis zu „Semantics of Concurrent Computation “
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.
Bibliographische Angaben
- 1979, 380 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch/Französisch
- Herausgegeben: G. Kahn
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 354009511X
- ISBN-13: 9783540095118
- Erscheinungsdatum: 01.06.1979
Sprache:
Englisch, Französisch
Kommentar zu "Semantics of Concurrent Computation"
0 Gebrauchte Artikel zu „Semantics of Concurrent Computation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Semantics of Concurrent Computation".
Kommentar verfassen