{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:35Z","timestamp":1725558635955},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_2","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:35:52Z","timestamp":1277836552000},"page":"33-70","source":"Crossref","is-referenced-by-count":36,"title":["Abstract Behavior Types: A Foundation Model for Components and Their Composition"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-61052-9_38","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"1996","unstructured":"Arbab, F.: The IWIM model for coordination of concurrent activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 34\u201356. Springer, Heidelberg (1996)"},{"key":"2_CR2","unstructured":"Arbab, F.: What do you mean, coordination? In: Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pp. 11\u201322 (1998), Available on-line http:\/\/www.cwi.nl\/NVTI\/Nieuwsbrief\/nieuwsbrief.html"},{"key":"2_CR3","unstructured":"Arbab, F.: A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands (February 2002)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science (2003)","DOI":"10.1017\/S0960129504004153"},{"key":"2_CR5","unstructured":"Arbab, F., de Boer, F.S., Bonsangue, M.M., Guillen Scholten, J.V.: MoCha: A framework for coordination using mobile channels. Technical Report SEN-R0128, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands (December 2001)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Arbab, F., de Boer, F.S., Bonsangue, M.M.: A coordination language for mobile components. In: Proc. ACM SAC 2000 (2000)","DOI":"10.1145\/335603.335734"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-46000-4","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2002","unstructured":"Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 21\u201338. Springer, Heidelberg (2002)"},{"key":"2_CR8","unstructured":"Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. Technical Report SEN-R0216, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands (September 2002)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-45263-X_16","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"2000","unstructured":"Arbab, F., de Boer, F.S., Bonsangue, M.M.: A logical interface description language for components. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 249\u2013266. Springer, Heidelberg (2000)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0015739","volume-title":"Automata, Languages and Programming","author":"J.W. Bakker de","year":"1985","unstructured":"de Bakker, J.W., Kok, J.N.: Towards a Uniform Topological Treatment of Streams and Functions on Streams. In: Brauer, W. (ed.) ICALP 1985. LNCS, vol.\u00a0194, pp. 140\u2013148. Springer, Heidelberg (1985)"},{"key":"2_CR11","unstructured":"Barbosa, L.: Components as Coalgebras. PhD thesis, Universidade do Minho, Braga, Portugal (2001)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","volume":"240","author":"M.M. Bonsangue","year":"2000","unstructured":"Bonsangue, M.M., Arbab, F., de Bakker, J.W., Rutten, J.J.M.M., Scutell\u00e1, A., Zavattaro, G.: A transition system semantics for the control-driven coordination language manifold. Theoretical Computer Science\u00a0240, 3\u201347 (2000)","journal-title":"Theoretical Computer Science"},{"key":"2_CR13","unstructured":"Broy, M.: A logical basis for component-based system engineering. Technical report, Technische Universit\u00e4t M\u00fcnchen (November 2000)"},{"key":"2_CR14","series-title":"Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems","author":"M. Broy","year":"2001","unstructured":"Broy, M., Stolen, K.: Specification and development of interactive systems. Monographs in Computer Science, vol.\u00a062. Springer, Heidelberg (2001)"},{"key":"2_CR15","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, special issue on Simulation Software Development(3) (January 1990)"},{"key":"2_CR16","unstructured":"CORBA. See: http:\/\/www.omg.org"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-44612-5_17","volume-title":"Mathematical Foundations of Computer Science 2000","author":"F.S. Boer de","year":"2000","unstructured":"de Boer, F.S., Bonsangue, M.M.: A compositional model for confluent dynamic data-flow networks. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 212\u2013221. Springer, Heidelberg (2000)"},{"key":"2_CR18","unstructured":"Enterprise JavaBeans, See: http:\/\/java.sun.com\/products\/ejb"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Communication of the ACM\u00a035(2), 97\u2013107 (1992)","journal-title":"Communication of the ACM"},{"key":"2_CR20","volume-title":"Object Structures: Building Object-Oriented Software Components","author":"J. Gore","year":"1996","unstructured":"Gore, J.: Object Structures: Building Object-Oriented Software Components. Addison-Wesley, Reading (1996)"},{"key":"2_CR21","unstructured":"Grimes, R.: Professional DCOM Programming. Wrox Press (1997)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Covarieties and complete covarieties. In: [29] (1998)","DOI":"10.1016\/S1571-0661(04)00052-0"},{"key":"2_CR23","first-page":"173","volume-title":"Proceedings of Thirteenth Annual ACM Symposium on principles of Programming Languages","author":"H. Barringer","year":"1986","unstructured":"Barringer, H., Kuiper, R., Pnueli, A.: A really abstract current model and its temporal logic. In: Proceedings of Thirteenth Annual ACM Symposium on principles of Programming Languages, pp. 173\u2013183. ACM, New York (1986)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BFb0018269","volume-title":"Methods of Programming","author":"R. Hennicker","year":"1991","unstructured":"Hennicker, R., Wirsing, M.: A formal method for the systematic reuse of specification components. In: Broy, M., Wirsing, M. (eds.) CIP 1991. LNCS, vol.\u00a0544, pp. 49\u201375. Springer, Heidelberg (1991)"},{"key":"2_CR25","first-page":"58","volume-title":"Proc. Technology of Object- Oriented Languages and Systems (TOOLS 1998)","author":"F. Huber","year":"1998","unstructured":"Huber, F., Rausch, A., Rumpe, B.: Modeling dynamic component interfaces. In: Singh, M., Meyer, B., Gil, J., Mitchell, R. (eds.) Proc. Technology of Object- Oriented Languages and Systems (TOOLS 1998), pp. 58\u201370. IEEE Computer Society, Los Alamitos (1998)"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","year":"1997","unstructured":"Jacobs, B.: Behaviour-refinement of object-oriented specifications with coinductive correctness proofs. Report CSI-R9618, Computing Science Institute, University of Nijmegen (1996); Also in Bidoit, M., Dauchet, M. (eds.): CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214. Springer, Heidelberg (1997)"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/BFb0014337","volume-title":"Algebraic Methodology and Software Technology","author":"B. Jacobs","year":"1996","unstructured":"Jacobs, B.: Coalgebraic specifications and models of deterministic hybrid systems. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 520\u2013535. Springer, Heidelberg (1996)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/BFb0053063","volume-title":"ECOOP \u201996 - Object-Oriented Programming","author":"B. Jacobs","year":"1996","unstructured":"Jacobs, B.: Inheritance and cofree constructions. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 210\u2013231. Springer, Heidelberg (1996)"},{"key":"2_CR29","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the first international workshop on Coalgebraic Methods in Computer Science (CMCS 1998)","year":"1998","unstructured":"Jacobs, B., Moss, L., Reichel, H., Rutten, J.J.M.M. (eds.): Proceedings of the first international workshop on Coalgebraic Methods in Computer Science (CMCS 1998). Electronic Notes in Theoretical Computer Science, vol.\u00a011. Elsevier Science, B.V. (1998), Available at URL: www.elsevier.nl\/locate\/entcs"},{"key":"2_CR30","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.J.M.M.: A tutorial on (co)algebras and (co)induction. Bulletin of EATCS\u00a062, 222\u2013259 (1997), Available on-line http:\/\/www.cs.kun.nl\/~bart\/PAPERS\/JR.ps.Z","journal-title":"Bulletin of EATCS"},{"key":"2_CR31","unstructured":"Jini, See: http:\/\/www.sun.com\/jini"},{"key":"2_CR32","unstructured":"Kok, J.N.: Semantic Models for Parallel Computation in Data Flow, Logic- and Object-Oriented Programming. PhD thesis, Vrije Universiteit, Amsterdam (May 1989)"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. In: Proceedings of the IEEE, May 1995, vol.\u00a083, pp. 773\u2013801 (1995)","DOI":"10.1109\/5.381846"},{"key":"2_CR34","unstructured":"Lee, E.A., Messerschmitt, D.G.: An overview of the ptolemy project. Technical report, Dept. of Electrical Engineering and Computer Sciences, University of California at Berkeley (1993)"},{"key":"2_CR35","unstructured":"Li, S., et al.: Professional Jini. Mass Market Paperback (2000)"},{"key":"2_CR36","series-title":"Java Series, Enterprise edn","volume-title":"Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform","author":"V. Matena","year":"2000","unstructured":"Matena, V., Stearns, B.: Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform. Java Series, Enterprise edn. Addison-Wesley, Reading (2000)"},{"key":"2_CR37","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"2_CR38","volume-title":"Reusable Software: The Base Object-Oriented Component Libraries","author":"B. Meyer","year":"1994","unstructured":"Meyer, B.: Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall, Englewood Cliffs (1994)"},{"issue":"1","key":"2_CR39","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner, R.: Elements of interaction. Communications of the ACM\u00a036(1), 78\u201389 (1993)","journal-title":"Communications of the ACM"},{"issue":"1","key":"2_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"1- 3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"L.S. Moss","year":"1999","unstructured":"Moss, L.S.: Coalgebraic logic. Annals of Pure and Applied Logic\u00a096(1- 3), 277\u2013317 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"2_CR42","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1093\/jigpal\/5.2.231","volume":"5","author":"L.S. Moss","year":"1997","unstructured":"Moss, L.S., Danner, N.: On the foundations of corecursion. Logic. Journal of the IGPL\u00a05(2), 231\u2013257 (1997)","journal-title":"Journal of the IGPL"},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-540-39656-7_14","volume-title":"Formal Methods for Components and Objects","author":"O. Nierstrasz","year":"2003","unstructured":"Nierstrasz, O., Achermann, F.: A calculus for modeling software components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 339\u2013360. Springer, Heidelberg (2003)"},{"key":"2_CR44","volume-title":"Jini in a Nutshell","author":"S. Oaks","year":"2000","unstructured":"Oaks, S., Wong, H.: Jini in a Nutshell. O\u2019Reilly & Associates, Sebastopol (2000)"},{"key":"2_CR45","first-page":"329","volume-title":"Advances in Computers \u2013 The Engineering of Large Systems","author":"G.A. Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Zelkowitz, M. (ed.) Advances in Computers \u2013 The Engineering of Large Systems, vol.\u00a046, pp. 329\u2013400. Academic Press, London (1998)"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-540-39656-7_21","volume-title":"Formal Methods for Components and Objects","author":"D. Pattinson","year":"2003","unstructured":"Pattinson, D., Wirsing, M.: Making components move: A separation of concerns approach. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 487\u2013507. Springer, Heidelberg (2003)"},{"key":"2_CR47","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"Reichel, H.: An approach to object semantics based on terminal coalgebras. Mathematical Structures in Computer Science\u00a05, 129\u2013152 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR48","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of 17th Conf. on Mathematical Foundations of Programming Semantics","author":"J.J.M.M. Rutten","year":"2001","unstructured":"Rutten, J.J.M.M.: Elements of stream calculus an extensive exercise in coinduction. In: Brookes, S., Mislove, M. (eds.) Proc. of 17th Conf. on Mathematical Foundations of Programming Semantics, Aarhus, Denmark, May 23-26. Electronic Notes in Theoretical Computer Science, vol.\u00a045. Elsevier, Amsterdam (2001)"},{"key":"2_CR49","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: A theory of systems. Technical Report CS-R9652, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands (1996), Available on-line http:\/\/www.cwi.nl\/ftp\/CWIreports\/AP\/CS-R9652.ps.Z"},{"key":"2_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/BFb0055624","volume-title":"CONCUR \u201998 Concurrency Theory","author":"J.J.M.M. Rutten","year":"1998","unstructured":"Rutten, J.J.M.M.: Automata and coinduction (an exercise in coalgebra). In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 194\u2013218. Springer, Heidelberg (1998), Report SEN-R9803, CWI, Available at URL: www.cwi.nl"},{"key":"2_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/3-540-48523-6_61","volume-title":"Automata, Languages and Programming","author":"J.J.M.M. Rutten","year":"1999","unstructured":"Rutten, J.J.M.M.: Automata, power series, and coinduction: taking input derivatives seriously (extended abstract). In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, pp. 645\u2013654. Springer, Heidelberg (1999), Report SEN-R9901, CWI, Available at URL: www.cwi.nl"},{"key":"#cr-split#-2_CR52.1","unstructured":"Rutten, J.J.M.M.: Coalgebra, concurrency, and control. Report SEN-R9921, CWI (1999), Available at URL: www.cwi.nl;"},{"key":"#cr-split#-2_CR52.2","doi-asserted-by":"crossref","unstructured":"Boel, R., Stremersch, G. (eds.) Extended abstract in: Discrete Event Systems. Kluwer (2000)","DOI":"10.1007\/978-1-4615-4493-7"},{"issue":"1","key":"2_CR53","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249(1), 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Asynchronous process calculi: the first-order and higher-order paradigms (tutorial). Theoretical Computer Science\u00a0253 (2001)","DOI":"10.1016\/S0304-3975(00)00097-9"},{"key":"2_CR55","volume-title":"CORBA: Fundamentals and Programming","author":"J. Siegel","year":"1996","unstructured":"Siegel, J.: CORBA: Fundamentals and Programming, 1st edn. John Wiley & Sons Inc., New York (1996)","edition":"1"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Snyder, A.: Encapsulation and inheritance in object-oriented programming languages. In: OOPSLA 1986, September 1986, pp. 38\u201345 (1986)","DOI":"10.1145\/28697.28702"},{"key":"2_CR57","unstructured":"Wirsing, M., Hennicker, R., Breu, R.: Reusable specification components. Technical Report MIP-8817, Passau University (1988)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T10:04:46Z","timestamp":1635588286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}