Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

edited by S.D. Brookes, A.W. Roscoe and G. Winskel

[目次]

  • 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.

「Nielsen BookData」より

この本の情報

書名 Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
著作者等 Brookes, Stephen D.
Roscoe, Andrew William
Seminar on Concurrency
Winskel, Glynn
Roscoe Andrew W.
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 c1985
ページ数 x, 523 p.
大きさ 25 cm
ISBN 0387156704
3540156704
NCID BA0053665X
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想