Del 197 - Lecture Notes in Computer Science

Seminar on Concurrency

Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Häftad, Engelska, 1985

Av Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-08-01
Mått155 x 233 x 29 mm
Vikt809 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor526
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540156703

Tillhör följande kategorier

On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report.

Du kanske också är intresserad av

Automata, Languages and Programming

Del 1443

Automata, Languages and Programming

Kim G. Larsen, Sven Skyum, Glynn Winskel

1 449 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Jul med guldkant

Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

Byggarna

Nyhet

Byggarna

Gunnar Wetterberg

299 kr349 kr

Formal Semantics of Programming Languages

Formal Semantics of Programming Languages

Glynn Winskel, Glynn (University of Cambridge) Winskel

1 499 kr

Den yttersta hemligheten

Del 6

Den yttersta hemligheten

289 kr329 kr

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Expeditionen : min kärlekshistoria (illustrerad utgåva)

399 kr579 kr

Pappa : berätta om ditt liv

Pappa : berätta om ditt liv

199 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr