{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:37Z","timestamp":1725558637995},"publisher-location":"Berlin, Heidelberg","reference-count":36,"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_9","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:35:52Z","timestamp":1277836552000},"page":"220-241","source":"Crossref","is-referenced-by-count":4,"title":["ToolBus: The Next Generation"],"prefix":"10.1007","author":[{"given":"Hayco","family":"de Jong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Klint","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"Klint, P.: A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology\u00a02, 176\u2013201 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"9_CR3","unstructured":"Bakker, H.C.N., Koorn, J.W.C.: Building an editor from existing components: an exercise in software re-use. Technical Report P9312, Programming Research Group, University of Amsterdam (1993)"},{"key":"9_CR4","unstructured":"van Vlijmen, S.F.M., Vriend, P.N., van Waveren, A.: Control and data transfer in the distributed editor of the ASF+SDF meta-environment. Technical Report P9415, University of Amsterdam, Programming Research Group (1994)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Mauw, S., Veltink, G.J.: A process specification formalism. Fundamenta Informaticae XIII, 85\u2013139 (1990)","DOI":"10.3233\/FI-1990-13202"},{"key":"9_CR6","unstructured":"Bergstra, J.A., Klint, P.: The ToolBus: a component interconnection architecture. Technical Report P9408, University of Amsterdam, Programming Research Group (1994)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61052-9_40","volume-title":"Coordination Languages and Models","author":"J.A. Bergstra","year":"1996","unstructured":"Bergstra, J.A., Klint, P.: The ToolBus coordination architecture. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 75\u201388. Springer, Heidelberg (1996)"},{"key":"9_CR8","series-title":"CWI Monograph.","volume-title":"Mathematics & Computer Science II","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra: specification and verification in bisimulation semantics. In: Hazewinkel, M., Lenstra, J.K., Meertens, L.G.L.T. (eds.) Mathematics & Computer Science II. CWI Monograph., vol.\u00a04. North-Holland, Amsterdam (1986)"},{"key":"9_CR9","unstructured":"Olivier, P.A.: Embedded system simulation: testdriving the ToolBus. Technical Report P9601, University of Amsterdam, Programming Research Group (1996)"},{"key":"9_CR10","unstructured":"Dams, D., Groote, J.F.: Specification and Implementation of Components of a muCRL toolbox. Logic Group Preprint Series 152, Utrecht University, Dept. of Philosoph (1995)"},{"key":"9_CR11","unstructured":"Lisser, B., van Wamel, J.J.: Specification of components in a proposition solver. Technical Report SEN-R9720, Centrum voorWiskunde en Informatica, CWI (1997)"},{"key":"9_CR12","unstructured":"Diertens, B.: Simulation and animation of process algebra specifications. Technical Report P9713, Programming Research Group, University of Amsterdam (1997)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Klint, P.: The discrete time ToolBus. Technical Report P9502, University of Amsterdam, Programming Research Group (1995)","DOI":"10.1007\/BFb0014323"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/BFb0014323","volume-title":"Algebraic Methodology and Software Technology","author":"J.A. Bergstra","year":"1996","unstructured":"Bergstra, J.A., Klint, P.: The discrete time ToolBus. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 286\u2013305. Springer, Heidelberg (1996)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(97)00021-X","volume":"31","author":"J.A. Bergstra","year":"1998","unstructured":"Bergstra, J.A., Klint, P.: The discrete time ToolBus\u2014a software coordination architecture. Science of Computer Programming\u00a031, 205\u2013229 (1998)","journal-title":"Science of Computer Programming"},{"key":"9_CR16","series-title":"electronic Workshops in Computing","volume-title":"Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications","author":"M.G.J. Brand van den","year":"1997","unstructured":"van den Brand, M.G.J., Heering, J., Klint, P.: Renovation of theASF+SDF meta-environment - current state of affairs. In: Sellink, M.P.A. (ed.) Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications. electronic Workshops in Computing, Springer, Heidelberg (1997)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M.G.J. Brand van den","year":"2000","unstructured":"van den Brand, M.G.J., de Jong, H.A., Klint, P., Olivier, P.A.: Efficient Annotated Terms. Software, Practice & Experience\u00a030, 259\u2013291 (2000)","journal-title":"Software, Practice & Experience"},{"key":"9_CR18","unstructured":"Olivier, P.A.: A Framework for Debugging Heterogeneous Applications. PhD thesis, University of Amsterdam (2000)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44881-0_30","volume-title":"Rewriting Techniques and Applications","author":"M.G.J. Brand van de","year":"2003","unstructured":"van de Brand, M.G.J., Moreau, P.E., Vinju, J.J.: Environments for Term Rewriting Engines for Free. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, Springer, Heidelberg (2003) (to appear)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/129630.376083","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications of the ACM\u00a035, 96 (1992)","journal-title":"Communications of the ACM"},{"key":"9_CR21","unstructured":"de Jong, H.A., Olivier, P.A.: Generation of abstract programming interfaces from syntax definitions. Technical Report SEN-R0212, St. Centrum voorWiskunde en Informatica (CWI), Submitted to Journal of Logic and Algebraic Programming (2002)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: System demonstration: Action semantics tools. In: van den Brand, M.G.J., L\u00e4mmel, R. (eds.) Proceedings of the Second Workshop on Language Descriptions, Tools and Applications (LDTA 2002). Electronic Notes in Theoretical Computer Science, vol.\u00a065.3 (2002)","DOI":"10.1016\/S1571-0661(04)80423-7"},{"key":"9_CR23","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Third International Workshop on Rewriting Logic and its Applications (WRLA 2000)","author":"M.G.J. Brand van de","year":"2001","unstructured":"van de Brand, M.G.J., Ringeissen, C.: ASF+SDF parsing tools applied to ELAN. In: Futatsugi, K. (ed.) Third International Workshop on Rewriting Logic and its Applications (WRLA 2000). Electronic Notes in Theoretical Computer Science, vol.\u00a036, Elsevier Science Publishers, Amsterdam (2001)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"Computer Aided Verification","author":"S.C.C. Blom","year":"2001","unstructured":"Blom, S.C.C., Fokkink, W.J., Groote, J.F., van Langevelde, I., Lisser, B., van de Pol, J.C.: \u03bcCRL: A toolset for analysing algebraic specifications. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 250\u2013254. Springer, Heidelberg (2001)"},{"key":"9_CR25","unstructured":"Brinksma, E.: On the Design of Extended LOTOS\u2013A Specification Language for Open Distributed Systems. PhD thesis, University Twente (1988)"},{"key":"9_CR26","unstructured":"Diertens, B.: New features in PSF I \u2013 Interrupts, Disrupts, and Priorities. Technical Report P9417, Programming Research Group, University of Amsterdam (1994)"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E.N.M. Elnozahy","year":"2002","unstructured":"Elnozahy, E.N.M., Alvisi, L., Wang, Y., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys (CSUR)\u00a034, 375\u2013408 (2002)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9_CR28","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System structures for software fault tolerance. IEEE Transactions on Software Engineering\u00a0SE-1, 21\u2013232 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-16041-8","volume-title":"A Study in String Processing Languages","author":"P. Klint","year":"1985","unstructured":"Klint, P.: A Study in String Processing Languages. LNCS, vol.\u00a0205. Springer, Heidelberg (1985)"},{"key":"9_CR30","unstructured":"Zorzo, A., Romanovsky, A., Xu, J., Randell, B., Stroud, R., Welch, I.: Using coordinated atomic actions to design dependable distributed object systems. In: OOPSLA 1997 Workshop on Dependable Distributed Object Systems (1997)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Ponse, A., van Wamel, J.: Process algebra with backtracking. In: REX School\/Symposium, pp. 46\u201391 (1993)","DOI":"10.1007\/3-540-58043-3_17"},{"key":"9_CR32","unstructured":"Object Management Group (OMG): The Common Object Request Broker: Architecture and Specification (1999), http:\/\/www.omg.org\/technology\/documents\/formal\/corba_2.htm"},{"key":"9_CR33","unstructured":"Sun MicroSystems Inc.: Java Remote Method Specification (2003), http:\/\/java.sun.com\/j2se\/1.4\/docs\/guide\/rmi"},{"key":"9_CR34","unstructured":"Object Management Group: CORBA IIOP Specification (2003), http:\/\/www.omg.org\/technology\/documents\/formal\/corba_iiop.htm"},{"key":"9_CR35","unstructured":"Business Process Management Initiative: Business Process Modeling Language (2002), http:\/\/www.bpmi.org\/bpmi-downloads\/BPML1.0.zip"},{"key":"9_CR36","unstructured":"W3C:World Wide Web Consortium: Web Services Description Language (2001), http:\/\/www.w3.org\/TR\/wsdl"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T10:04:44Z","timestamp":1635588284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}