{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:18Z","timestamp":1725663018465},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095415"},{"type":"electronic","value":"9783540350101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09541-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:50:00Z","timestamp":1330188600000},"page":"33-66","source":"Crossref","is-referenced-by-count":0,"title":["On the formal specification and analysis of loosely connected processes"],"prefix":"10.1007","author":[{"given":"Raymond E.","family":"Miller","sequence":"first","affiliation":[]},{"given":"Chee K.","family":"Yap","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/PGEC.1966.264565","volume":"EC-15","author":"A. J. Bernstein","year":"1966","unstructured":"Bernstein, A.J., \"Analysis of Programs for Parallel Processing,\" IEEE Trans. Electronic Computers, Vol. EC-15 (October 1966) 757\u2013763.","journal-title":"IEEE Trans. Electronic Computers"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E. W. Dijkstra","year":"1965","unstructured":"Dijkstra, E.W., \"Solution of a Problem in Concurrent Programming Control,\" Comm. ACM 8 (September 1965) pg. 569.","journal-title":"Comm. ACM"},{"key":"2_CR3","first-page":"43","volume-title":"Programming Languages","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W., \"Co-operating Sequential Processes,\" in Programming Languages, (F. Genuys, Ed.), New York, Academic Press (1968) 43\u2013112."},{"issue":"6","key":"2_CR4","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/361405.361409","volume":"15","author":"P. Gilbert","year":"1972","unstructured":"Gilbert, Philip and W. J. Chandler, \"Interference Between Communicating Parallel Processes,\" C.ACM 15, No. 6 (June, 1972) 427\u2013437.","journal-title":"C.ACM"},{"key":"2_CR5","first-page":"147","volume":"3","author":"R. M. Karp","year":"1969","unstructured":"Karp, R.M. and R.E. Miller, \"Parallel Program Schemata,\" JCSS 3 (May, 1969) pp. 147\u2013195.","journal-title":"JCSS"},{"key":"2_CR6","unstructured":"Lamport, L., \"On Concurrent Reading and Writing,\" Report CA-7409-0511, Massachusetts Computer Associates, Inc., September 1974, revised March 1976."},{"key":"2_CR7","unstructured":"Lamport, L., \"Time, Clocks and the Ordering of Events in a Distributed System\", Report CA-7603-2911, Massachusetts Computer Associates, Inc., March 1976."},{"key":"2_CR8","unstructured":"Lipton, Richard J., \"On Synchronization Primitive Systems,\" Ph.D. Thesis, Carnegie-Mellon University, 1973 and Research Report #22, Yale University, Department of Computer Science, October 1973."},{"key":"2_CR9","unstructured":"Miller, R.E., \"Relationships Among Models of Parallelism and Synchronization,\" to appear in Proceedings of Symposium on Petri Nets and Related Methods, July 1975."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Miller, R. E. and C. K. Yap, \"On Formulating Simultaneity for Studying Parallelism and Synchronization,\" Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, May, 1978. pp. 105\u2013113.","DOI":"10.1145\/800133.804338"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Peterson, G.L. and M.J. Fischer, \"Economical Solutions for the Critical Section Problem in a Distributed System, extended abstract.\" Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, May 1977, 91\u201397.","DOI":"10.1145\/800105.803398"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Rivest, R.L. and V.R. Pratt, \"The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report.\" Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, October, 1976, 1\u20138.","DOI":"10.1109\/SFCS.1976.33"},{"key":"2_CR13","unstructured":"Yap, C.K., \"On Abstract Synchronization Problems and Synchronization Systems.\" Unpublished manuscript, 1976."},{"key":"2_CR14","unstructured":"Zave, Pamela, \"On the Formal Definition of Processes.\" Proceedings of International Conference on Parallel Processing, 1976."},{"key":"2_CR15","unstructured":"Zave, Pamela and D.R. Fitzwater, \"Specification of Asynchronous Interactions Using Primitive Functions.\" Technical Report, Dept. of Computer Science, University of Maryland, 1977."}],"container-title":["Lecture Notes in Computer Science","Mathematical Studies of Information Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09541-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:34Z","timestamp":1605643294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09541-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095415","9783540350101"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-09541-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}