Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Semantics of Concurrent Computation

Proceedings of the International Symposium Evian, France, July 2-4, 1979

Häftad, Engelska, 1979

Del i serien Lecture Notes in Computer Science

342 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-06-01
Mått:155 x 235 x 21 mm
Vikt:575 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Computer Science
Antal sidor:372
Upplaga:1979
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540095118

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

G. Kahn, D.B. MacQueen, G. Plotkin - Semantics of Data Types, Häftad

Semantics of Data Types

G. Kahn, D.B. MacQueen, G. Plotkin

Häftad, 1984

398 kr

Marcus Frank - SIGNERAD - Mackans kost : Middagar och matlådor, Inbunden

Signerad!

SIGNERAD - Mackans kost : Middagar och matlådor

Marcus Frank

Inbunden, 2026

269 kr

Laleh Pourkarim - SIGNERAD - Jag såg hur vi var stjärnor, Inbunden

Signerad!

SIGNERAD - Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Tone Schunnesson - Ultravåld, Inbunden

-19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

(6)

209 kr259 kr

Kristin Hannah - En flicka som kallas Alice, Pocket

4 för 3

En flicka som kallas Alice

Kristin Hannah

Pocket, 2025

(52)

99 kr

Katarina Wennstam - SIGNERAD - Moder blod, Inbunden

Signerad!

Del 4

SIGNERAD - Moder blod

Katarina Wennstam

Inbunden, 2026

249 kr

Alison Espach - Bröllopsgästerna, Pocket

-30%

Bröllopsgästerna

Alison Espach

Pocket, 2026

(7)

69 kr99 kr

Francesca Giannone - Brevbäraren i Lizzanello, Pocket

4 för 3

Brevbäraren i Lizzanello

Francesca Giannone

Pocket, 2026

(68)

99 kr

David Szalay - Kött, Inbunden

-23%

Kött

David Szalay

Inbunden, 2026

(16)

199 kr259 kr

Fredrik Backman - Mina vänner, Pocket

-30%

Mina vänner

Fredrik Backman

Pocket, 2026

(6)

69 kr99 kr