{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:52:08Z","timestamp":1725637928108},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_4","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T09:05:35Z","timestamp":1322816735000},"page":"26-35","source":"Crossref","is-referenced-by-count":0,"title":["Behavioral Subtyping Relations for Timed Components"],"prefix":"10.1007","author":[{"given":"Youcef","family":"Hammal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/11526841_34","volume-title":"FM 2005: Formal Methods","author":"N. Sharygina","year":"2005","unstructured":"Sharygina, N., Chaki, S., Clarke, E., Sinha, N.: Dynamic Component Substitutability Analysis. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 512\u2013528. Springer, Heidelberg (2005)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45499-3_33","volume-title":"Algebraic Methodology and Software Technology","author":"C. Fischer","year":"2000","unstructured":"Fischer, C., Wehrheim, H.: Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 469\u2013483. Springer, Heidelberg (2000)"},{"key":"4_CR4","unstructured":"van Glabbeek, R.: The linear time\u2013branching time spectrum. In: Handbook of Process Algebra, pp. 3\u201399 (1999)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Hameurlain, N.: Behavioural subtyping and Property Preservation for Active Objects. In: Proc. of FMOODS 2002 (2002)","DOI":"10.1007\/978-0-387-35496-5_8"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Hameurlain, N.: On Compatibility and Behavioural substitutability of Component Protocols. In: Proc. of Intl. Conference Software Engineering & Formal Methods, SEFM 2005 (2005)","DOI":"10.1109\/SEFM.2005.30"},{"key":"4_CR7","unstructured":"Hammal, Y.: Substitutability Relations for Active Components. In: Proc. of the 4th Workshop on Formal Aspects of Component Software, France, September 19-21 (2007)"},{"issue":"6","key":"4_CR8","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Wehrheim, A.: Checking Behavioural subtypes via Refinement. In: Proc. of FMOODS 2002 (2002)","DOI":"10.1007\/978-0-387-35496-5_7"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T17:37:44Z","timestamp":1555868264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}