02407nam 22005655 450 99646549270331620200630001536.03-540-38311-510.1007/3-540-10235-3(CKB)1000000000230058(SSID)ssj0000321725(PQKBManifestationID)11246226(PQKBTitleCode)TC0000321725(PQKBWorkID)10279936(PQKB)10836231(DE-He213)978-3-540-38311-6(PPN)155173235(EXLCZ)99100000000023005820121227d1980 u| 0engurnn|008mamaatxtccrA Calculus of Communicating Systems[electronic resource] /by R. Milner1st ed. 1980.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1980.1 online resource (VI, 174 p.) Lecture Notes in Computer Science,0302-9743 ;92Bibliographic Level Mode of Issuance: Monograph3-540-10235-3 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.Lecture Notes in Computer Science,0302-9743 ;92Information technologyBusiness—Data processingComputer scienceIT in Businesshttps://scigraph.springernature.com/ontologies/product-market-codes/522000Computer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Information technology.Business—Data processing.Computer science.IT in Business.Computer Science, general.650658.05Milner Rauthttp://id.loc.gov/vocabulary/relators/aut1221117BOOK996465492703316A Calculus of Communicating Systems2831213UNISA