---

＜電子ブック＞
A Calculus of Communicating Systems / by R. Milner
(Lecture Notes in Computer Science. ISSN:16113349 ; 92)

版	1st ed. 1980.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1980
本文言語	英語
大きさ	VI, 174 p : online resource
著者標目	*Milner, R author SpringerLink (Online service)
件　名	LCSH:Business information services LCSH:Computer science FREE:IT in Business FREE:Computer Science
一般注記	0. Introduction -- 1. Experimenting on nondeterministic machines -- 2. Synchronization -- 3. A case study in synchronization and proof techniques -- 4. Case studies in value-communication -- 5. Syntax and semantics of CCS -- 6. Communication trees (CTs) as a model of CCS -- 7. Observation equivalence and its properties -- 8. Some proofs about data structures -- 9. Translation into CCS -- 10. Determinancy and confluence -- 11. Conclusion HTTP:URL=https://doi.org/10.1007/3-540-10235-3

 類似資料