{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:55:29Z","timestamp":1725602129343},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244308"},{"type":"electronic","value":"9783642244315"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24431-5_15","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T22:29:46Z","timestamp":1314138586000},"page":"196-211","source":"Crossref","is-referenced-by-count":4,"title":["Transforming SOS Specifications to Linear Processes"],"prefix":"10.1007","author":[{"given":"Frank P. M.","family":"Stappers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel A.","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1040","volume":"111","author":"L. Aceto","year":"1994","unstructured":"Aceto, L., Bloom, B., Vaandrager, F.W.: Turning SOS Rules into Equations. Inf. Comput.\u00a0111(1), 1\u201352 (1994)","journal-title":"Inf. Comput."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Aceto, L., Fokkink, W., Verhoef, C.: Conservative Extension in Structural Operational Semantics. In: Current Trends in Theoretical Computer Science, pp. 504\u2013524 (2001)","DOI":"10.1016\/B978-044482830-9\/50021-7"},{"key":"15_CR3","first-page":"81","volume":"99","author":"L. Aceto","year":"2009","unstructured":"Aceto, L., Ingolfsdottir, A., Mousavi, M.R., Reniers, M.A.: Algebraic Properties for Free? Bulletin of the EATCS\u00a099, 81\u2013104 (2009)","journal-title":"Bulletin of the EATCS"},{"key":"15_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195003","volume-title":"Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)","author":"J.C.M. Baeten","year":"2009","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, Cambridge (2009)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Verhoef, C.: A Congruence Theorem for Structured Operational Semantics with Predicates. In: CONCUR, pp. 477\u2013492 (1993)","DOI":"10.1007\/3-540-57208-2_33"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01212523","volume":"9","author":"M. Bezem","year":"1997","unstructured":"Bezem, M., Bol, R.N., Groote, J.F.: Formalizing Process Algebraic Verifications in the Calculus of Constructions. Formal Asp. Comput.\u00a09(1), 1\u201348 (1997)","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B. Bloom","year":"1995","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. J. ACM\u00a042(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"issue":"5","key":"15_CR8","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1145\/234752.234756","volume":"43","author":"R.N. Bol","year":"1996","unstructured":"Bol, R.N., Groote, J.F.: The Meaning of Negative Premises in Transition System Specifications. J. ACM\u00a043(5), 863\u2013914 (1996)","journal-title":"J. ACM"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Boudol, G., Roy, V., de Simone, R., Vergamini, D.: Process Calculi, from Theory to Practice: Verification Tools. In: Automatic Verification Methods for Finite State Systems, pp. 1\u201310 (1989)","DOI":"10.1007\/3-540-52148-8_1"},{"key":"15_CR10","first-page":"393","volume":"117","author":"C. Braga","year":"2005","unstructured":"Braga, C., Meseguer, J.: Modular Rewriting Semantics in Practice. ENTCS\u00a0117, 393\u2013416 (2005)","journal-title":"ENTCS"},{"key":"15_CR11","unstructured":"de O. Braga, C.: Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro (2001)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"de O.Braga, C., Haeusler, E.H., Bevilacqua, V., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, p. 407. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-45499-3_29"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"de O. Braga, C., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Mapping Modular SOS to Rewriting Logic. In: LOPSTR, pp. 262\u2013277 (2002)","DOI":"10.1007\/3-540-45013-0_21"},{"key":"15_CR14","first-page":"36","volume-title":"Larch, Workshops in Computing","author":"K.H. Buth","year":"1992","unstructured":"Buth, K.H.: Using SOS Definitions in Term Rewriting Proofs. In: Larch, Workshops in Computing, pp. 36\u201354. Springer, Heidelberg (1992)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-57880-3_10","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"K.-H. Buth","year":"1994","unstructured":"Buth, K.-H.: Simulation of SOS Definitions with Term Rewriting Systems. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 150\u2013164. Springer, Heidelberg (1994)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-60630-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Cleaveland","year":"1995","unstructured":"Cleaveland, R., Madelaine, E., Sims, S.: A Front-End Generator for Verification Tools. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 153\u2013173. Springer, Heidelberg (1995)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification","author":"R. Cleaveland","year":"1996","unstructured":"Cleaveland, R., Sims, S.: The NCSU Concurrency Workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 394\u2013397. Springer, Heidelberg (1996)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"de Simone, R.: Higher-Level Synchronising Devices in Meije-SCCS. Theor. Comput. Sci.\u00a037, 245\u2013267 (1985)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"15_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0304-3975(01)00165-7","volume":"275","author":"P. Degano","year":"2002","unstructured":"Degano, P., Gadducci, F., Priami, C.: A Causal Semantics for CCS via Rewriting Logic. Theor. Comput. Sci.\u00a0275(1-2), 259\u2013282 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR20","volume-title":"Modelling Distributed Systems","author":"W. Fokkink","year":"2007","unstructured":"Fokkink, W.: Modelling Distributed Systems. Springer, Heidelberg (2007)"},{"issue":"1","key":"15_CR21","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1006\/inco.1998.2729","volume":"146","author":"W. Fokkink","year":"1998","unstructured":"Fokkink, W., Verhoef, C.: A Conservative Look at Operational Semantics with Variable Binding. Inf. Comput.\u00a0146(1), 24\u201354 (1998)","journal-title":"Inf. Comput."},{"key":"15_CR22","unstructured":"Groote, J.F., Mathijssen, A.J.H., Reniers, M.A., Usenko, Y.S., van Weerdenburg, M.J.: The Formal Specification Language mCRL2. In: Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2007)"},{"issue":"2","key":"15_CR23","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J.F. Groote","year":"1992","unstructured":"Groote, J.F., Vaandrager, F.W.: Structured Operational Semantics and Bisimulation as a Congruence. Inf. Comput.\u00a0100(2), 202\u2013260 (1992)","journal-title":"Inf. Comput."},{"key":"15_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer-Verlag New York, Inc., New York (1993)"},{"issue":"15","key":"15_CR25","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1002\/(SICI)1097-024X(19991225)29:15<1379::AID-SPE286>3.0.CO;2-V","volume":"29","author":"P.H. Hartel","year":"1999","unstructured":"Hartel, P.H.: LETOS - a Lightweight Execution Tool for Operational Semantics. Softw., Pract. Exper.\u00a029(15), 1379\u20131416 (1999)","journal-title":"Softw., Pract. Exper."},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic as a Logical and Semantic Framework. ENTCS\u00a04 (1996)","DOI":"10.1016\/S1571-0661(04)00040-4"},{"key":"15_CR27","unstructured":"The mCRL2 toolset, http:\/\/www.mcrl2.org\/"},{"issue":"1","key":"15_CR28","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.: Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Exploiting Labels in Structural Operational Semantics. In: SAC 2004, pp. 1476\u20131481 (2004)","DOI":"10.1145\/967900.968195"},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"61","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular Structural Operational Semantics. J. Log. Algebr. Program\u00a061, 195\u2013228 (2004)","journal-title":"J. Log. Algebr. Program"},{"issue":"1","key":"15_CR31","first-page":"135","volume":"156","author":"M.R. Mousavi","year":"2006","unstructured":"Mousavi, M.R., Reniers, M.A.: Prototyping SOS Meta-theory in Maude. ENTCS\u00a0156(1), 135\u2013150 (2006)","journal-title":"ENTCS"},{"issue":"3","key":"15_CR32","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.tcs.2006.12.019","volume":"373","author":"M.R. Mousavi","year":"2007","unstructured":"Mousavi, M.R., Reniers, M.A., Groote, J.F.: SOS Formats and Meta-theory: 20 Years After. Theor. Comput. Sci.\u00a0373(3), 238\u2013272 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR33","first-page":"17","volume":"61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. J. Log. Algebr. Program\u00a061, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Stappers, F.P.M., Reniers, M.A., Weber, S.: Transforming SOS Specifications to Linear Processes. Computer Science Report No. 11-07, Eindhoven University of Technology (May 2011)","DOI":"10.1007\/978-3-642-24431-5_15"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Stappers, F.P.M., Weber, S., Reniers, M.A., Andova, S., Nagy, I.: Formalizing a Domain Specific Language using SOS: An Industrial Case Study. In: SLE 2011. LNCS (to appear)","DOI":"10.1007\/978-3-642-28830-2_13"},{"key":"15_CR36","unstructured":"The\u00a0Maude system, http:\/\/maude.cs.uiuc.edu\/"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Turner, D.A.: Miranda: A Non-Strict Functional Language with Polymorphic Types. In: FPCA, pp. 1\u201316 (1985)","DOI":"10.1007\/3-540-15975-4_26"},{"key":"15_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-36135-9_19","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"A. Verdejo","year":"2002","unstructured":"Verdejo, A.: Building Tools for LOTOS Symbolic Semantics in Maude. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 292\u2013307. Springer, Heidelberg (2002)"},{"key":"15_CR39","doi-asserted-by":"crossref","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. ENTCS\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82540-X"},{"issue":"1-2","key":"15_CR40","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1016\/j.jlap.2005.09.008","volume":"67","author":"A. Verdejo","year":"2006","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Executable Structural Operational Semantics in Maude. J. Log. Algebr. Program\u00a067(1-2), 226\u2013293 (2006)","journal-title":"J. Log. Algebr. Program"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24431-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T05:34:15Z","timestamp":1560490455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24431-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244308","9783642244315"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24431-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}