{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:16Z","timestamp":1725663376639},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:33:44Z","timestamp":1330194824000},"page":"157-183","source":"Crossref","is-referenced-by-count":2,"title":["Towards the hierarchical, temporal logic, specification of concurrent systems"],"prefix":"10.1007","author":[{"given":"Howard","family":"Barringer","sequence":"first","affiliation":[]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"H.Barringer and R.Kuiper A Temporal Logic Specification Method Supporting Hierarchical Development Extended Abstract Dept. of Computer Science, University of Manchester. Nov. 1983","key":"14_CR1"},{"key":"14_CR2","volume-title":"Specification and Design of (Parallel) Programs Proc. IFIP 83","author":"C.B. Jones","year":"1983","unstructured":"C.B. Jones Specification and Design of (Parallel) Programs Proc. IFIP 83, Paris, North Holland, 1983."},{"key":"14_CR3","series-title":"International Lecture Series in Computer Science","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1982","unstructured":"Z. Manna and A. Pnueli Verification of Concurrent Programs: The Temporal Framework in \"The Correctness Problem in Computer Science\" ed. R.S. Boyer and J.S. Moore International Lecture Series in Computer Science, pp215\u2013273, Academic Press, London, 1982."},{"unstructured":"Z.Manna and A.Pnueli Verification of Concurrent Programs: A Temporal Proof System Computer Science Report, Stanford University, 1983.","key":"14_CR4"},{"issue":"3","key":"14_CR5","first-page":"455","volume":"4","author":"S.S. Owicki","year":"1982","unstructured":"S.S. Owicki and L. Lamport Proving Liveness Properties of Concurrent Programs ACM TOPLAS, Vol. 4, No. 3, pp455\u2013495, July 1982.","journal-title":"Proving Liveness Properties of Concurrent Programs ACM TOPLAS"},{"key":"14_CR6","first-page":"1","volume-title":"Proc. of the Symp. on Semantics of Concurrent Computation","author":"A. Pnueli","year":"1979","unstructured":"A. Pnueli The Temporal Semantics of Concurrent Computation in Proc. of the Symp. on Semantics of Concurrent Computation, Evian, France, July 1979 Springer-Verlag LNCS, Vol. 70, pp1\u201320."},{"doi-asserted-by":"crossref","unstructured":"A.Prior Past, Present and Future Oxford University Press, 1967.","key":"14_CR7","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"doi-asserted-by":"crossref","unstructured":"A.P.Sistla, E.M.Clarke, N.Francez and Y.Gurevich Can Buffers be Specified in Linear Temporal Logic? Proc. 1st ACM SIGACT\/SIGOPS Conf. on PODC, Ottawa, Aug. 1982.","key":"14_CR8","DOI":"10.1145\/800220.806692"}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:43Z","timestamp":1605643783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}