{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:10Z","timestamp":1725664810802},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:58Z","timestamp":1330294198000},"page":"420-439","source":"Crossref","is-referenced-by-count":1,"title":["Compositionality in real-time shared variable concurrency"],"prefix":"10.1007","author":[{"given":"F. S.","family":"Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Tej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. -P.","family":"Roever","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Hulst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport, An old-fashioned receipe for real time, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 1\u201327, Springer-Verlag 1991.","DOI":"10.1007\/BFb0031985"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill, The Theory of Timed Automata, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 45\u201373, Springer-Verlag 1991.","DOI":"10.1007\/BFb0031987"},{"key":"24_CR3","volume-title":"REX Workshop","author":"J.W. Bakker de","year":"1991","unstructured":"J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, Real Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 1991, Proceedings, Springer-Verlag."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry. The synchronous approach to Reactive and Real-Time Systems. Proc. IEEE, Vol. 79, no. 9, Sept. 1991.","DOI":"10.1109\/5.97297"},{"issue":"2","key":"24_CR5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry, G. Gonthier. The ESTEREL synchronous programming language: desigm, sementics, implimentation. Science of Computer Programming, 19(2): pp. 87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"24_CR6","unstructured":"F.S. de Boer, Compositionality in the Inductive Assertion Method for Concurrent Systems. In TC2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), pages 282\u2013302."},{"key":"24_CR7","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten, The Failure of Failures: Towards a Paradigm for Asynchronous Communication. In Proceedings of Concur '91, LNCS 527:111\u2013126, Amsterdam, The Netherlands, 1991."},{"key":"24_CR8","unstructured":"L. Chen, S. Anderson and F. Moller, A Timed Calculus of Commnunating Systems, Technical Report LFCS-90-127, University of Eidinburgh."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"P.Le Guernic, M. Le Borgne, T. Gauthier and C. Le Maire. Programming real-time applications with SIGNAL. Another look at Real-Time Programming. Proc. IEEE, special Issue, Sept. 1991.","DOI":"10.1109\/5.97301"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluiver, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna and A. Pnueli, Timed Transition Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 226\u2013251, Springer-Verlag 1991.","DOI":"10.1007\/BFb0031995"},{"key":"24_CR12","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":"24_CR13","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"C.B. Jones, Tentative steps towards a development method for interfering programs, ACM Transactions on Programming Languages and Systems, 5(4), pages 596\u2013619, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"L. Lamport, A fast mutual exclusion algorithm, ACM Transactions on Computer Systems, Vol. 5, pages 1\u201311, 1987.","journal-title":"ACM Transactions on Computer Systems"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"I. Lee and R. Gerber, Specification and Analysis of Resource-Bound Real-Time Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 371\u2013396, Springer-Verlag 1991","DOI":"10.1007\/BFb0032001"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"N. Lynch and F. Vaandrager, Forward and Backward Simulation for Timing-Based Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 397\u2013446, Springer-Verlag 1991.","DOI":"10.1007\/BFb0032002"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis, From ATP to Timed Graphs and Hybrid Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 526\u2013548, Springer-Verlag 1991.","DOI":"10.1007\/BFb0032006"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"S. Owre, J. Rushby and N. Shankar. PVS: A Prototype Verification System. In 1th Conference on Automated Deduction, Lecture Notes in Artificial Intelligence. LNCS 607, pages 748\u2013752, Springer-Verlag 1992.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"24_CR19","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 600, pages 618\u2013639, Springer-Verlag 1991.","DOI":"10.1007\/BFb0032010"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"S. Schneider, J. Davies, D.M. Jackson, G.M. Reed, J.N. Reed and A.W. Roscoe, Timed CSP: Theory and Practice, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 640\u2013675, Springer-Verlag 1991.","DOI":"10.1007\/BFb0032011"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"J.C.P. Woodcock and B. Dickinson, Using VDM with Rely and Guarantee Conditions, In R. Bloomfield, L. Marshall, and R. Jones, editors, LNCS 328: Proceedings of VDM '88, The Way Ahead, pages 434\u2013458. Springer-Verlag.","DOI":"10.1007\/3-540-50214-9_27"},{"key":"24_CR22","unstructured":"Q. Xu and H. Jifeng, A Theory of State-Based Parallel Programming: Part i. In J. Morris, editor, Proc. 4th. BCS-FACS Refinement Workshop, pages 326\u2013359. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:53:37Z","timestamp":1640948017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}