{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:23Z","timestamp":1725663383431},"publisher-location":"Berlin, Heidelberg","reference-count":7,"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_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:34:40Z","timestamp":1330176880000},"page":"359-364","source":"Crossref","is-referenced-by-count":0,"title":["A temporal analysis of some concurrent systems"],"prefix":"10.1007","author":[{"given":"Ben","family":"Moszkowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"J. Halpern, Z. Manna and B. Moszkowski. A hardware semantics based on temporal intervals. Proceedings of the 10-th International Colloquium on Automata, Languages and Programming, Barcelona, Spain, July, 1983.","DOI":"10.1007\/BFb0036915"},{"key":"27_CR2","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R. S. Boyer and J. S. Moore, editors, The Correctness Problem in Computer Science, pages 215\u2013273, Academic Press, New York, 1981."},{"key":"27_CR3","unstructured":"B. Moszkowski. Reasoning about Digital Circuits. PhD Thesis, Department of Computer Science, Stanford University, 1983."},{"key":"27_CR4","unstructured":"B. Moszkowski and Z. Manna. Reasoning in interval temporal logic. Dept. of Computer Science, Stanford University, Technical Report STAN-CS-83-969."},{"key":"27_CR5","unstructured":"B. Moszkowski and Z. Manna. Temporal logic as a programming language. To appear in the proceedings of Parallel Computing 83, West Berlin, Sept., 1983"},{"key":"27_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"N. Rescher","year":"1971","unstructured":"N. Rescher and A. Urquart. Temporal Logic. Springer-Verlag, New York, 1971."},{"key":"27_CR7","unstructured":"Problem set for the concurrency workshop. In these proceedings."}],"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_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:02:27Z","timestamp":1619542947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}