{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:00Z","timestamp":1725457080818},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0031996","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:36:29Z","timestamp":1134282989000},"page":"252-290","source":"Crossref","is-referenced-by-count":3,"title":["Compositional verification of real-time systems using extended Hoare triples"],"prefix":"10.1007","author":[{"given":"Jozef","family":"Hooman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"R. Gerber and I. Lee. CCSR: a calculus for communicating shared resources. In CONCUR '90, pages 263\u2013277. LNCS 458, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039065"},{"issue":"5","key":"12_CR2","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/TSE.1981.231111","volume":"SE-7","author":"V.H. Haase","year":"1981","unstructured":"V.H. Haase. Real-time behaviour of programs. IEEE Transactions on Software Engineering, SE-7(5):494\u2013501, 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proceedings Symposium on Logic in Computer Science, pages 402\u2013413, 1990.","DOI":"10.1109\/LICS.1990.113765"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings 18th ACM Symposium on Principles of Programming Languages, pages 353\u2013366, 1991.","DOI":"10.1145\/99583.99629"},{"issue":"10","key":"12_CR5","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580, 583, 1969.","journal-title":"Communications of the ACM"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"J. Hooman. A denotational real-time semantics for shared processors. In Parallel Architectures and Languages Europe, volume II, pages 184\u2013201. LNCS 506, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54152-7_65"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"J. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54947-1"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255\u2013299, 1990.","journal-title":"Real-Time Systems"},{"key":"12_CR9","unstructured":"Z. Manna and A. Pnueli. Verification of concurrent programs: a temporal proof system. In Foundations of Computer Science IV, Distributed Systems: Part 2, volume 159 of Mathematical Centre Tracts, pages 163\u2013255, 1982."},{"key":"12_CR10","unstructured":"INMOS Limited. Communicating process architecture, 1988."},{"key":"12_CR11","unstructured":"INMOS Limited. OCCAM 2 Reference Manual, 1988."},{"key":"12_CR12","unstructured":"J. Ostroff. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press, 1989."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"F. Schneider, B. Bloom, and K. Marzullo. Putting time into proof outlines. In REX Workshop on Real-Time: Theory in Practice. LNCS (this volume), Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032010"},{"key":"12_CR14","unstructured":"J. Zwiers. Compositionality, Concurrency and Partial Correctness. LNCS 321, Springer-Verlag, 1989."}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:47:31Z","timestamp":1586612851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031996"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0031996","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}