{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:32Z","timestamp":1725663152648},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:58:51Z","timestamp":1330171131000},"page":"119-133","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Semantic analysis of communicating sequential processes"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Cousot","sequence":"first","affiliation":[]},{"given":"Radhia","family":"Cousot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"12_CR1","unstructured":"Apt K., Francez N. & de Roever W.P.[1979a], Semantics for concurrently communicating finite sequential processes, based on predicate transformers, Progress Report, Vakgroep inf., Rijksuniversiteit Utrecht, The Netherlands, (June 1979)."},{"key":"12_CR2","unstructured":"Apt K., Francez N. & de Roever W.P.[1979b], A proof system for communicating sequential processes, Tech. Rep. RUU-CS-79-8, Vakgroep Inf., Rijkuniv. Utrecht, NL., (Aug. 79)."},{"key":"12_CR3","unstructured":"Chandy K.M. & Misra J.[1979], An axiomatic proof technique for networks of communicating processes, TR 98, Univ. of Texas at Austin, (May 79)."},{"key":"12_CR4","volume-title":"Proving correctness of coroutines without history variables","author":"E. M. Clarke Jr","year":"1978","unstructured":"Clarke E.M.Jr[1978], Proving correctness of coroutines without history variables, TR-CS-1978-4, Dept. of Comp. Sci., Duke Univ., USA, (1978)."},{"key":"12_CR5","unstructured":"Clarke E.M.Jr[1979], Synthesis of resource invariants for concurrent programs, 6th ACM-POPL, (Jan. 1979), 211\u2013221."},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M. Clint","year":"1973","unstructured":"Clint M.[1973], Program proving: coroutines, Acta Informatica 2(1973), 50\u201363.","journal-title":"Acta Informatica"},{"key":"12_CR7","unstructured":"Cousot P.[1977], Asynchronous iterative methods for solving a fixed point system of monotone equations in a complete lattice, Rap. de Recherche no88, Laboratoire IMAG, Univ. Grenoble, (Sept. 1977)."},{"key":"12_CR8","unstructured":"Cousot P.[1979], Analysis of the behavior of dynamic discrete systems, Rapport de Recherche no161, Laboratoire IMAG, Univ. Grenoble, (Jan. 1979)."},{"key":"12_CR9","unstructured":"Cousot P. & Cousot R.[1977a], Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, 4th ACM-POPL, (Jan. 1977), 238\u2013252."},{"issue":"8","key":"12_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/872734.806926","volume":"12","author":"P. Cousot","year":"1977","unstructured":"Cousot P. & Cousot R.[1977b], Automatic synthesis of optimal invariant assertions: mathematical foundations, ACM-Symp. on Artificial Int. & Prog. Languages, SIGPLAN Notices 12, 8(Aug. 1977), 1\u201312.","journal-title":"ACM-Symp. on Artificial Int. & Prog. Languages, SIGPLAN Notices"},{"key":"12_CR11","unstructured":"Cousot P. & Cousot R.[1979a], Systematic design of program analysis frameworks, 6th ACM-POPL, (Jan. 1979), 269\u2013282."},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2140\/pjm.1979.82.43","volume":"82","author":"P. Cousot","year":"1979","unstructured":"Cousot P. & Cousot R.[1979b], Constructive versions of Tarski's fixed point theorems, Pacific J. Math. 82(1979), 43\u201357.","journal-title":"Pacific J. Math."},{"key":"12_CR13","unstructured":"Cousot P. & Halbwachs N.[1978], Automatic discovery of linear restraints among variables of a program, 5th ACM-POPL, (Jan. 1978), 84\u201397."},{"key":"12_CR14","unstructured":"Francez N., Hoare C.A.R., Lehmann D.J. & de Roever W.P.[1978], Semantics of nondeterminism, concurrency and communication, Lect. Notes Comp. Sci. 64, Springer Verlag, Extended abstract, (Sept. 1978), 191\u2013200."},{"key":"12_CR15","volume-title":"Yet another exercise: using two shared variables in two processes to provide starvation-free mutual exclusion","author":"D. Gries","year":"1979","unstructured":"Gries D.[1979], Yet another exercise: using two shared variables in two processes to provide starvation-free mutual exclusion, TR 79-372, Dept. Comp. Sci., Cornell Univ., N.Y., (1979)."},{"issue":"8","key":"12_CR16","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"Hoare C.A.R.[1978], Communicating sequential processes, Comm. ACM 21, 8(1978), 666\u2013677.","journal-title":"Comm. ACM"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki S. & Gries D.[1976], An axiomatic proof technique for parallel programs I, Acta Informatica 6(1976), 319\u2013340.","journal-title":"Acta Informatica"},{"key":"12_CR18","unstructured":"Reif J.H.[1979], Data flow analysis of communicating processes, 6th ACM-POPL, (Jan. 1979), 257\u2013268."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:20:53Z","timestamp":1578511253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_65"}},"subtitle":["Shortened version"],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}