{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:01Z","timestamp":1725670021382},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288685"},{"type":"electronic","value":"9783642288692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_8","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:44:36Z","timestamp":1332449076000},"page":"148-168","source":"Crossref","is-referenced-by-count":26,"title":["A Compositional Specification Theory for Component Behaviours"],"prefix":"10.1007","author":[{"given":"Taolue","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Chilton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026, 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Why are modalities good for Interface Theories? In: Proc. 9th International Conference on Application of Concurrency to System Design, ACSD 2009, pp. 119\u2013127. IEEE Computer Society (2009)","DOI":"10.1109\/ACSD.2009.22"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal Interfaces: Unifying Interface Automata and Modal Specifications. In: Proc. 7th International Conference on Embedded Software, EMSOFT 2009, pp. 87\u201396. ACM (2009)","DOI":"10.1145\/1629335.1629348"},{"key":"8_CR5","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02, 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2006.10.022","volume":"373","author":"G. L\u00fcttgen","year":"2007","unstructured":"L\u00fcttgen, G., Vogler, W.: Conjunction on processes: Full abstraction via ready-tree semantics. Theor. Comput. Sci.\u00a0373, 19\u201340 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1016\/j.ic.2010.02.001","volume":"208","author":"G. L\u00fcttgen","year":"2010","unstructured":"L\u00fcttgen, G., Vogler, W.: Ready simulation for concurrency: It\u2019s logical! Inf. Comput.\u00a0208, 845\u2013867 (2010)","journal-title":"Inf. Comput."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM\u00a031, 560\u2013599 (1984)","journal-title":"J. ACM"},{"key":"8_CR9","series-title":"NATO Science Series II: Mathematics, Physics and Chemistry","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L. Alfaro de","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series II: Mathematics, Physics and Chemistry, vol.\u00a0195, pp. 83\u2013104. Springer, Heidelberg (2005)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","first-page":"269","volume-title":"Verification: Theory and Practice","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L.: Game Models for Open Systems. In: Dershowitz, N. (ed.) Verification (Manna Festschrift). LNCS, vol.\u00a02772, pp. 269\u2013289. Springer, Heidelberg (2004)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: Proc. 8th ACM International Conference on Embedded Software, EMSOFT 2008, pp. 79\u201388. ACM (2008)","DOI":"10.1145\/1450058.1450070"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00165-007-0045-4","volume":"20","author":"P. Bhaduri","year":"2008","unstructured":"Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Form. Asp. Comput.\u00a020, 205\u2013224 (2008)","journal-title":"Form. Asp. Comput."},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0304-3975(95)92307-J","volume":"138","author":"R.D. Nicola","year":"1995","unstructured":"Nicola, R.D., Segala, R.: A process algebraic view of input\/output automata. Theor. Comput. Sci.\u00a0138, 391\u2013423 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"J. Tretmans","year":"2011","unstructured":"Tretmans, J.: Model-Based Testing and Some Steps towards Test-Based Modelling. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 297\u2013326. Springer, Heidelberg (2011)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF01178564","volume":"29","author":"M.B. Josephs","year":"1992","unstructured":"Josephs, M.B.: Receptive process theory. Acta Inf.\u00a029, 17\u201331 (1992)","journal-title":"Acta Inf."},{"key":"8_CR16","first-page":"101","volume":"78","author":"M.B. Josephs","year":"2007","unstructured":"Josephs, M.B., Kapoor, H.K.: Controllable delay-insensitive processes. Fundam. Inf.\u00a078, 101\u2013130 (2007)","journal-title":"Fundam. Inf."},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2008.06.023","volume":"215","author":"J.B. Raclet","year":"2008","unstructured":"Raclet, J.B.: Residual for component specifications. Electr. Notes Theor. Comput. Sci.\u00a0215, 93\u2013110 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.: A Compositional Specification Theory for Component Behaviours. Technical Report RR-12-01, Department of Computer Science, University of Oxford (2012)","DOI":"10.1007\/978-3-642-28869-2_8"},{"key":"8_CR19","first-page":"75","volume-title":"Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology","author":"R.J. Glabbeek van","year":"1994","unstructured":"van Glabbeek, R.J.: Full abstraction in structural operational semantics (extended abstract). In: Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, pp. 75\u201382. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28869-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:13:45Z","timestamp":1620126825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}