{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T06:34:54Z","timestamp":1794378894050,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254201","type":"print"},{"value":"9783540319849","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31984-9_13","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T10:26:18Z","timestamp":1279016778000},"page":"160-174","source":"Crossref","is-referenced-by-count":5,"title":["Color-Blind Specifications for Transformations of Reactive Synchronous Programs"],"prefix":"10.1007","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrik","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"Wasowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"109","volume-title":"Foundations of Software Engineering (FSE)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Foundations of Software Engineering (FSE), Vienna, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","volume-title":"Proof, Language and Interaction. Essays in Honour of Robin Milner","author":"G. Berry","year":"2000","unstructured":"Berry, G.: The foundations of Esterel. In: Plotkin, G., et al. (eds.) Proof, Language and Interaction. Essays in Honour of Robin Milner, pp. 425\u2013454. MIT Press, Cambridge (2000)"},{"key":"13_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Partial Evaluation","year":"1996","unstructured":"Danvy, O., et al. (eds.): Dagstuhl Seminar 1996. LNCS, vol.\u00a01110. Springer, Heidelberg (1996)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Etalle, S., Gabbrieli, M.: Partial evaluation of concurrent constraint languages. ACM Computing Surveys\u00a030(3es) (september 1998)","DOI":"10.1145\/289121.289132"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 1990","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.: The linear time\u2013branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458. Springer, Heidelberg (1990)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Partial Evaluation. Practice and Theory","year":"1999","unstructured":"Hatcliff, J., Mogensen, T.\u00c6., Thiemann, P. (eds.): DIKU 1998. LNCS, vol.\u00a01706. Springer, Heidelberg (1999)"},{"key":"13_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Euro-Par 1996 - Parallel Processing","author":"H. Hosoya","year":"1996","unstructured":"Hosoya, H., Kobayashi, N., Yonezawa, A.: Partial evaluation scheme for concurrent languages and its correctness. In: Boug\u00e9, L., et al. (eds.) Euro-Par 1996. LNCS, vol.\u00a01123. Springer, Heidelberg (1996)"},{"key":"13_CR11","unstructured":"IAR Inc. IAR visualSTATE\u00ae, http:\/\/www.iar.com\/Products\/VS\/"},{"key":"13_CR12","volume-title":"POPL 2001","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL 2001. ACM Press, New York (2001)"},{"key":"13_CR13","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993)"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/0890-5401(92)90025-B","volume":"99","author":"K.G. Larsen","year":"1992","unstructured":"Larsen, K.G., Milner, R.: A compositional protocol verification using relativized bisimulation. Information and Computation\u00a099(1), 80\u2013108 (1992)","journal-title":"Information and Computation"},{"key":"13_CR15","unstructured":"Larsen, K.: Context Dependent Bisimulation Between Processes. PhD thesis, Edinburgh University (1986)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"K. Larsen","year":"1987","unstructured":"Larsen, K.: A context dependent equivalence between processes. Theoretical Computer Science\u00a049, 184\u2013215 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008736219484","volume":"18","author":"J. Lind-Nielsen","year":"2001","unstructured":"Lind-Nielsen, J., Andersen, H.R., Hulgaard, H., Behrmann, G., Kristoffersen, K., Larsen, K.G.: Verification of large state\/event systems using compositionality and dependency analysis. Formal Methods in System Design\u00a018(1), 5\u201323 (2001)","journal-title":"Formal Methods in System Design"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Lynch, N.: I\/O automata: A model for discrete event systems. In: Annual Conference on Information Sciences and Systems, Princeton, N.J, pp. 29\u201338 (1988)","DOI":"10.21236\/ADA196047"},{"key":"13_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"13_CR20","unstructured":"Murakami, M.: Partial evaluation of reactive communciating processes using temporal logic formulas. In: Algebraic and Object-Oriented Approaches to Software Science (1995)"},{"key":"13_CR21","unstructured":"Object Management Group. OMG Unified Modelling Language specification (1999)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45657-0_13","volume-title":"Computer Aided Verification","author":"S.K. Rajamani","year":"2002","unstructured":"Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 166. Springer, Heidelberg (2002)"},{"key":"13_CR23","unstructured":"Scope: a statechart compiler., http:\/\/www.mini.pw.edu.pl\/~wasowski\/scope"},{"key":"13_CR24","unstructured":"Sun Microsystems, Inc. Java Card(TM) specification., http:\/\/java.sun.com\/"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-28630-1_5","volume-title":"Software Product Lines","author":"A. W\u0119sowski","year":"2004","unstructured":"W\u0119sowski, A.: Automatic generation of program families by model restrictions. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154, pp. 73\u201389. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31984-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T04:21:07Z","timestamp":1711599667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31984-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254201","9783540319849"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31984-9_13","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b107062","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}