---

＜電子ブック＞
Current Trends in Concurrency : Overviews and Tutorials / edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
(Lecture Notes in Computer Science. ISSN:16113349 ; 224)

版	1st ed. 1986.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1986
本文言語	英語
大きさ	XIV, 718 p : online resource
著者標目	Bakker, Jacobus W. De editor Roever, Willem-Paul De editor Rozenberg, Grzegorz editor SpringerLink (Online service)
件　名	LCSH:Software engineering LCSH:Computer programming LCSH:Computer science FREE:Software Engineering FREE:Programming Techniques FREE:Computer Science Logic and Foundations of Programming FREE:Models of Computation
一般注記	Computer science in industry -- Dataflow and education: Data-driven and demand-driven distributed computation -- Contrasting themes in the semantics of imperative concurrency -- Functional programming and the language tale -- Design, specification and validation of hierarchies of protocols in distributed systems -- Infinitary languages: Basic theory and applications to concurrent systems -- The quest goes on: A survey of proofsystems for partial correctness of CSP -- Logic programming: The foundations, the approach and the role of concurrency -- Process theory: Semantics, specification and verification -- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends -- Petri nets: Basic notions, structure, behaviour -- Concepts for concurrent programming HTTP:URL=https://doi.org/10.1007/BFb0027037

 類似資料