+612 9045 4394
 
CHECKOUT
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, Pa, July 9-11, 1984 - Stephen D. Brookes

Seminar on Concurrency

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

By: Stephen D. Brookes (Editor), Andrew W. Roscoe (Editor), Glynn Winskel (Editor)

Paperback

Published: 1st August 1985
Ships: 15 business days
15 business days
$173.29
or 4 easy payments of $43.32 with Learn more
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.

ISBN: 9783540156703
ISBN-10: 3540156704
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 526
Published: 1st August 1985
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.77
Weight (kg): 0.75