{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:51:19Z","timestamp":1762458679062},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540921875"},{"type":"electronic","value":"9783540921882"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92188-2_11","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T09:00:21Z","timestamp":1228294821000},"page":"257-279","source":"Crossref","is-referenced-by-count":6,"title":["An Object-Oriented Component Model for Heterogeneous Nets"],"prefix":"10.1007","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[]},{"given":"Joakim","family":"Bj\u00f8rk","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Kyas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and models of real time: A survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/32.988495","volume":"28","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Gunter, C.A., Kim, M., Lee, I., Sokolsky, O., Viswanathan, M.: Verisim: Formal analysis of network simulations. IEEE Transaction on Software Engineering\u00a028(2), 129\u2013145 (2002)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"11_CR3","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-88009-7","volume-title":"Correctness, Concurrency, and Components: Festschrift for Willem-Paul de Roever","author":"D. Clarke","year":"2008","unstructured":"Clarke, D., Johnsen, E.B., Owe, O.: Concurrent Objects \u00e0 la Carte. In: Correctness, Concurrency, and Components: Festschrift for Willem-Paul de Roever. LNCS, Springer, Heidelberg (to appear, 2008)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-45449-7_9","volume-title":"Embedded Software","author":"D.E. Culler","year":"2001","unstructured":"Culler, D.E., Hill, J.L., Buonadonna, P., Szewczyk, R., Woo, A.: A network-centric approach to embedded software for tiny devices. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 114\u2013130. Springer, Heidelberg (2001)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-540-30121-9_46","volume-title":"Embedded and Ubiquitous Computing","author":"J. Dedecker","year":"2004","unstructured":"Dedecker, J., Belle, W.V.: Actors for mobile ad-hoc networks. In: Yang, L.T., Guo, M., Gao, G.R., Jha, N.K. (eds.) EUC 2004. LNCS, vol.\u00a03207, pp. 482\u2013494. Springer, Heidelberg (2004)"},{"key":"11_CR8","first-page":"1","volume-title":"Proc. Conf. on Programming Language Design and Implementation PLDI 2003","author":"D. Gay","year":"2003","unstructured":"Gay, D., Levis, P., von Behren, J.R., Welsh, M., Brewer, E.A., Culler, D.E.: The nesC language: A holistic approach to networked embedded systems. In: Proc. Conf. on Programming Language Design and Implementation PLDI 2003, pp. 1\u201311. ACM, New York (2003)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: Algebraic Specification in Action, Advances in Formal Methods","author":"J.A. Goguen","year":"2000","unstructured":"Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Goguen, J.A., Malcolm, G. (eds.) Software Engineering with OBJ: Algebraic Specification in Action, Advances in Formal Methods, ch.\u00a01, pp. 3\u2013167. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MWC.2002.1028874","volume":"9","author":"A.J. Goldsmith","year":"2002","unstructured":"Goldsmith, A.J., Wicker, S.B.: Design challenges for energy-constrained ad hoc wireless networks. IEEE Wireless Communications\u00a09(4), 8\u201327 (2002)","journal-title":"IEEE Wireless Communications"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling\u00a06(1), 35\u201358 (2007)","journal-title":"Software and Systems Modeling"},{"issue":"1\u20132","key":"11_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science\u00a0365(1\u20132), 23\u201366 (2006)","journal-title":"Theoretical Computer Science"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-39958-2_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"N. Kumar","year":"2003","unstructured":"Kumar, N., Sen, K., Meseguer, J., Agha, G.: A rewriting based model for probabilistic distributed object systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 32\u201346. Springer, Heidelberg (2003)"},{"key":"11_CR14","volume-title":"The Morgan Kaufmann Series in Data Management Systems.","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. The Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann Publishers, Inc, San Francisco (1996)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Rosu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS, vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"issue":"2","key":"11_CR17","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","volume":"285","author":"P.C. \u00d6lveczky","year":"2002","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science\u00a0285(2), 359\u2013405 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"\u00d6lveczky, P.C., Thorvaldsen, S.: Formal modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude. Theoretical Computer Science (to appear, 2008)","DOI":"10.1007\/978-3-540-72952-5_8"},{"issue":"8","key":"11_CR19","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1016\/j.comcom.2003.10.011","volume":"27","author":"V.T. Raisinghani","year":"2004","unstructured":"Raisinghani, V.T., Iyer, S.: Cross-layer design optimizations in wireless protocol stacks. Computer Communications\u00a027(8), 720\u2013724 (2004)","journal-title":"Computer Communications"},{"key":"11_CR20","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"199","volume-title":"Proc. 6th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2006)","author":"D.E. Rodr\u00edguez","year":"2007","unstructured":"Rodr\u00edguez, D.E.: On modelling sensor networks in Maude. In: Denker, G., Talcott, C. (eds.) Proc. 6th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2006). Electronic Notes in Theoretical Computer Science, vol.\u00a0176, pp. 199\u2013213. Elsevier, Amsterdam (2007)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-85762-4_22","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"R. Schlatte","year":"2008","unstructured":"Schlatte, R., Aichernig, B., de Boer, F., Griesmayer, A., Johnsen, E.B.: Testing concurrent objects with application-specific schedulers. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 319\u2013333. Springer, Heidelberg (2008)"},{"key":"11_CR22","volume-title":"Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods, Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"12","key":"11_CR23","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/MCOM.2005.1561928","volume":"43","author":"V. Srivastava","year":"2005","unstructured":"Srivastava, V., Motani, M.: Cross-layer design: A survey and the road ahead. IEEE Communications Magazine\u00a043(12), 112\u2013119 (2005)","journal-title":"IEEE Communications Magazine"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-46105-1_33","volume-title":"Advances in Object-Oriented Information Systems","author":"A.U.S.J. Mellor","year":"2002","unstructured":"Mellor, A.U.S.J., Scott, K., Weise, D.: Model-driven architecture. In: Bruel, J.-M., Bellahs\u00e8ne, Z. (eds.) OOIS 2002. LNCS, vol.\u00a02426, pp. 233\u2013239. Springer, Heidelberg (2002)"},{"key":"11_CR25","unstructured":"Varga, A.: Omnet++. IEEE Network Interactive\u00a016(4) (July 2002)"},{"issue":"4","key":"11_CR26","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1109\/TCOM.1980.1094702","volume":"28","author":"H. Zimmermann","year":"1980","unstructured":"Zimmermann, H.: OSI reference model\u2014the ISO model of architecture for open system interconnection. IEEE Transactions on Communication\u00a028(4), 425\u2013432 (1980)","journal-title":"IEEE Transactions on Communication"}],"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-92188-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:12:19Z","timestamp":1557961939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92188-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540921875","9783540921882"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92188-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}