{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:23Z","timestamp":1725663683650},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_54","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:51:57Z","timestamp":1330185117000},"page":"389-405","source":"Crossref","is-referenced-by-count":3,"title":["The expressive power of simple parallelism"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Parrow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D Austry","year":"1984","unstructured":"D Austry and G Boudol. Alg\u00e8bre de processus et synchronisation. Theoretical Computer Science, 30(1):91\u2013131, 1984.","journal-title":"Theoretical Computer Science"},{"key":"26_CR2","unstructured":"Peter Aczel. A simple version of SCCS and its semantics. 1984. Unpublished Notes, University of Edinburgh."},{"issue":"3","key":"26_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. Brookes","year":"1984","unstructured":"S. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. J. ACM, 31(3):560\u2013599, 1984.","journal-title":"J. ACM"},{"issue":"2","key":"26_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0167-6423(85)90010-3","volume":"5","author":"J. Bergstra","year":"1985","unstructured":"J. Bergstra and J. Tucker. Top-down design and the algebra of communicating processes. Science of Computer Programming, 5(2):171\u2013199, 1985.","journal-title":"Science of Computer Programming"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Computer 15(2). February 1982. Special issue on data flow machines.","DOI":"10.1109\/MC.1982.1653938"},{"issue":"3","key":"26_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R Simone de","year":"1985","unstructured":"R de Simone. Higher-level synchronising devices in MEIJE-SCCS. Theoretical Computer Science, 37(3):245\u2013267, 1985.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"26_CR7","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Gougen","year":"1977","unstructured":"J. A. Gougen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. J. ACM, 24(1):68\u201395, 1977.","journal-title":"J. ACM"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Bengt Jonsson. A model and proof system for asynchronous networks. In Proceedings of the 4:th ACM Symposium on Principles of Distributed Computing, pages 49\u201358, 1985.","DOI":"10.1145\/323596.323601"},{"key":"26_CR9","unstructured":"G Kahn. The semantics of a simple language for parallel programming. In IFIP 74, pages 471\u2013475, 1974."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"R M Keller and P Panangaden. Semantics of networks containing indeterminate operators. In Brookes, Roscoe, and Winskel, editors, Seminar on Concurrency 1984, LNCS 197, pages 479\u2013496, 1985.","DOI":"10.1007\/3-540-15670-4_23"},{"key":"26_CR11","unstructured":"Kim Larsen and Bent Thomsen. Compositional Proofs by Partial Specification of Processes. Technical Report R 87-20, Institut for Elektroniske Systemer, Aalborg University, 1987."},{"issue":"4","key":"26_CR12","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1145\/322154.322167","volume":"26","author":"R. Milner","year":"1979","unstructured":"Robin Milner. Flowgraphs and flow algebras. J. ACM, 26(4):794\u2013818, 1979.","journal-title":"J. ACM"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Robin Milner. A Calculus of Communicating Systems. Volume 92 of Lecture Notes of Computer Science, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Robin Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"26_CR15","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G. Milne","year":"1985","unstructured":"George Milne. CIRCAL and the representation of communication, concurrency and time. ACM Transactions on Programming Languages and Systems, 7(2):270\u2013298, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR16","unstructured":"David Park. The \u2018fairness\u2019 problem and nondeterministic computing networks. In de Bakker and van Leeuwen, editors, Foundations of Computer Science IV, Part 2, pages 133\u2013161, Amsterdam, 1983. Mathematical Centre Tracts 159."},{"key":"26_CR17","unstructured":"Joachim Parrow. Synchronisation Flow Algebra. Technical Report LFCS-87-35, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1987."},{"issue":"2","key":"26_CR18","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/3149.3155","volume":"32","author":"J Staples","year":"1985","unstructured":"J Staples and V L Nguyen. A fixpoint semantics for nondeterministic data flow. J. ACM, 32(2):411\u2013444, 1985.","journal-title":"J. ACM"},{"key":"26_CR19","unstructured":"G Winskel. Events in Computation. PhD thesis, Dep. of Computer Science, University of Edinburgh, 1980."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:20:45Z","timestamp":1605630045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}