{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:14Z","timestamp":1725663374134},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:00:22Z","timestamp":1330192822000},"page":"251-262","source":"Crossref","is-referenced-by-count":1,"title":["Polynomial-time analysis for a class of communicating processes"],"prefix":"10.1007","author":[{"given":"Scott A.","family":"Smolka","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"S.D. Brookes, \"On the Relationship of CCS and CSP\", Proceedings of the 10th ICALP, Barcelona, Spain, pp. 85\u201396 (July 1983).","DOI":"10.1007\/BFb0036899"},{"key":"22_CR2","unstructured":"S.D. Brookes, \"A Model for Communicating Sequential Processes\", Department of Computer Science, Carnegie-Mellon University, Technical Report No. CMU-CS-83-149 (Jan. 1983)."},{"key":"22_CR3","unstructured":"T.W. Doeppner, S.A. Smolka, \"An Algorithm for the Static Analysis of CSP Programs\", Department of Computer Science, Brown University, Technical Report (1981)."},{"key":"22_CR4","volume-title":"Systems of Communicating Machines Without Deadlocks","author":"M. G. Gouda","year":"1982","unstructured":"M.G. Gouda, \"Systems of Communicating Machines Without Deadlocks\", Department of Computer Sciences, University of Texas at Austin, Austin, TX, Technical Report No. TR-199 (April 1982)."},{"issue":"8","key":"22_CR5","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Communicating Sequential Processes\", Communications of the ACM, 21(8), pp. 666\u2013677 (Aug. 1978).","journal-title":"Communications of the ACM"},{"key":"22_CR6","unstructured":"C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, \"A Theory of Communicating Sequential Processes\", Technical Monograph PRG-16, Oxford University Computing Laboratory, Programming Research Group (May 1981)."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner, \"A Calculus of Communicating Systems\", Lecture Notes in Computer Science 92, Springer-Verlag (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR8","unstructured":"S.A. Smolka, \"Analysis of Communicating Finite-State Processes\", Department of Computer Science, Brown University, Ph.D. dissertation (Feb. 1984)."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF00263928","volume":"19","author":"R. N. Taylor","year":"1983","unstructured":"R.N. Taylor, \"Complexity of Analyzing the Synchronization Structure of Concurrent Programs\", Acta Informatica 19, pp. 57\u201384 (1983).","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:22Z","timestamp":1619556742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}