---

＜電子ブック＞
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 / edited by Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel
(Lecture Notes in Computer Science. ISSN:16113349 ; 197)

版	1st ed. 1985.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1985
本文言語	英語
大きさ	X, 526 p : online resource
著者標目	Brookes, Stephen D editor Roscoe, Andrew W editor Winskel, Glynn editor SpringerLink (Online service)
件　名	LCSH:Software engineering LCSH:Computer programming LCSH:Computer science FREE:Software Engineering FREE:Programming Techniques FREE:Theory of Computation
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-15670-4

 類似資料