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

Den yttersta hemligheten

Del 6

Den yttersta hemligheten

289 kr329 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Jul med guldkant

Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

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

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

399 kr579 kr

Formal Semantics of Programming Languages

Formal Semantics of Programming Languages

Glynn Winskel, Glynn (University of Cambridge) Winskel

1 499 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

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Den juligaste av jular : en berättelse i 24 kapitel

Nyhet

Den juligaste av jular : en berättelse i 24 kapitel

Callum Bloodworth

239 kr259 kr