{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:27Z","timestamp":1725663447821},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:55Z","timestamp":1330209175000},"page":"184-201","source":"Crossref","is-referenced-by-count":7,"title":["A denotational real-time semantics for shared processors"],"prefix":"10.1007","author":[{"given":"Jozef","family":"Hooman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","volume":"32","author":"N. Francez","year":"1984","unstructured":"N. Francez, D. Lehman, and A. Pnueli. A linear history semantics for distributed programming. Theoretical Computer Science, 32:25\u201346, 1984.","journal-title":"Theoretical Computer Science"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"R. Gerth and A. Boucher. A timed failures model for extending communicating processes. In Proceedings in the 14th International Colloquium on Automata, Languages and Programming, pages 95\u2013114. LNCS 267, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18088-5_9"},{"key":"11_CR3","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"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth, and W.P. de Roever. Full abstraction of a real-time denotational semantics for an OCCAM-like language. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pages 223\u2013237, 1987.","DOI":"10.1145\/41625.41645"},{"key":"11_CR5","unstructured":"J. Hooman. Compositional verification of distributed real-time systems. In Proceedings Workshop on Real-Time Systems \u2014 Theory and Applications, pages 1\u201320. North-Holland, 1990."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"J. Hooman. Specification and Compositional Verification of Real-Time Systems. PhD thesis, Eindhoven University of Technology, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"J. Hooman and J. Widom. A temporal-logic based compositional proof system for real-time message passing. In Parallel Architectures and Languages Europe, volume II, pages 424\u2013441. LNCS 366, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51285-3_56"},{"issue":"3","key":"11_CR8","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/0890-5401(88)90020-X","volume":"79","author":"R. Koymans","year":"1988","unstructured":"R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth, and S. Arun-Kumar. Compositional semantics for real-time distributed computing. Information and Computation, 79(3):210\u2013256, 1988.","journal-title":"Information and Computation"},{"key":"11_CR9","unstructured":"INMOS Limited. Communicating process architecture, 1988."},{"key":"11_CR10","unstructured":"INMOS Limited. Occam 2 Reference Manual, 1988."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"G. Reed and A. Roscoe. Metric spaces as models for real-time concurrency. In Proceedings Workshop on the Mathematical Foundations of Programming Languages Semantics, pages 331\u2013343. LNCS 298, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"11_CR12","unstructured":"J. Zwiers. Compositionality, Concurrency and Partial Correctness. LNCS 321, Springer-Verlag, 1989."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:42Z","timestamp":1605646362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}