{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:46Z","timestamp":1725663226298},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:21:03Z","timestamp":1330194063000},"page":"128-142","source":"Crossref","is-referenced-by-count":5,"title":["From synchronization tree logic to acceptance model logic"],"prefix":"10.1007","author":[{"given":"S.","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Brookes S.D., Hoare C.A.R., Roscoe A.W. \"A Theory of Communicating Sequential Processes\", JACM, Vol.31, No3, 84","DOI":"10.1145\/828.833"},{"key":"11_CR2","unstructured":"Graf S., Sifakis J. \"A logic for the specification and proof of controllable processes of CCS\", Advanced Seminar \"Logics and Models for Verification and Specification of concurrent Systems\", La Colle sur Loup, Octobre 84, (to appear in LNCS)."},{"key":"11_CR3","unstructured":"Graf S., Sifakis J. \"A logic for the description of non deterministic programs and their properties\", RR511, IMAG-LGI, Grenoble, February 85."},{"key":"11_CR4","unstructured":"Hennessy M., Milner R. \"On observing non determinism and concurrency\", Proc. of 7th ICALP, 80, LNCS 85."},{"key":"11_CR5","unstructured":"Milner R. \"A calculus for communicating systems\" LNCS 92."},{"key":"11_CR6","unstructured":"Olderog E.R. \"Specification oriented programming in TCSP\", Advanced Seminar \u2018logic and models for verification and specification of concurrent systems', La Colle sur Loup,84, To appear in LNCS."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:59:53Z","timestamp":1619557193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}