{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:31Z","timestamp":1725487111465},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_1","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T04:50:02Z","timestamp":1183697402000},"page":"1-18","source":"Crossref","is-referenced-by-count":12,"title":["Contracts for BIP: Hierarchical Interaction Models for Compositional Verification"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Badouel, E., Benveniste, A., Bozga, M., Caillaud, B., Constant, O., Josko, B., Ma, Q., Passerone, R., Skipper, M.: SPEEDS meta-model syntax and draft semantics. Deliverable D2.1c (February 2007)","key":"1_CR1"},{"unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06), Invited talk, September 11-15, 2006, Pune, pp. 3\u201312 (2006)","key":"1_CR2"},{"unstructured":"Bozga, M., Constant, O., Skipper, M., Ma, Q.: SPEEDS meta-model syntax and static semantics. Deliverable D2.1b (January 2007)","key":"1_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors structuring interaction in BIP. Techreport, Verimag (February 2007)","key":"1_CR4","DOI":"10.1145\/1289927.1289935"},{"key":"1_CR5","volume-title":"Nr\u00a054 in Cambridge Tracts in Theoretical Computer Science","author":"W.P. Roever de","year":"2001","unstructured":"de Roever, W.P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. In: Nr\u00a054 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge (2001)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"G. G\u00f6\u00dfler","year":"2007","unstructured":"G\u00f6\u00dfler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: An approach to modeling and verification of component based systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, Springer, Heidelberg (2007)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"G. G\u00f6\u00dfler","year":"2003","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Component-based construction of deadlock-free systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol.\u00a02914, Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Goessler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming, pp. 161\u2013183 (March 2005)","key":"1_CR8","DOI":"10.1016\/j.scico.2004.05.014"},{"doi-asserted-by":"crossref","unstructured":"Graf, S., L\u00fcttgen, G., Steffen, B.: Compositional Minimisation of Finite State Systems using Interface Specifications. In: Formal Aspects of Computation, vol. 8, Appeared as Passauer Informatik Bericht MIP-9505 (1996)","key":"1_CR9","DOI":"10.1007\/BF01211911"},{"key":"1_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1984","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1984)"},{"key":"1_CR11","volume-title":"Models for concurrency","author":"G. Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency, vol.\u00a04. Oxford Univ. Press, Oxford (1995)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T04:18:04Z","timestamp":1556597884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}