{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:42Z","timestamp":1725662862164},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:37:50Z","timestamp":1330187870000},"page":"71-83","source":"Crossref","is-referenced-by-count":15,"title":["Synthesis of communicating behaviour"],"prefix":"10.1007","author":[{"given":"Robin","family":"Milner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"6_CR1","unstructured":"E.W. Dijkstra, \"A discipline of programming\", Prentice Hall, 1976."},{"key":"6_CR2","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1976","unstructured":"C.A.R. Hoare, \"Communicating Sequential Processes\", Computer Science Dept, Queen's University, Belfast, 1976."},{"key":"6_CR3","volume-title":"Concurrent Program Schemes and their Interpretations","author":"A. Mazurkiewicz","year":"1977","unstructured":"A. Mazurkiewicz, \"Concurrent Program Schemes and their Interpretations\", Workshop on Verification of Parallel Processes, Aarhus, Denmark, 1977."},{"key":"6_CR4","unstructured":"G. Milne and R. Milner, \"Concurrent Processes and their Syntax\", CSR-2-77, Computer Science Dept, University of Edinburgh, 1977. (to appear in J.ACM)."},{"key":"6_CR5","unstructured":"R. Milner, \"Flowgraphs and Flow Algebras\", CSR-5-77, Computer Science Dept, University of Edinburgh, 1977. (submitted for publication)."},{"key":"6_CR6","unstructured":"C.A. Petri, \"Nichtsequentielle Prozesse\", Interner Bericht 76-6, GMD, Bonn, 1976."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"D.S. Scott, \"The Lattice of Flow Diagrams\", Symposium on the Semantics of Algorithmic Languages, ed. E. Engeler, Lecture Notes in Computer Science 188, Springer-Verlag, 1971.","DOI":"10.1007\/BFb0059703"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"J. Winkowski, \"An Algebraic characterization of the Behaviour of Non-sequential Systems\", Information Processing Letters, 6,4,1977.","DOI":"10.1016\/0020-0190(77)90021-7"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:56:18Z","timestamp":1619556978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}