{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:10:59Z","timestamp":1748664659046,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319246437"},{"type":"electronic","value":"9783319246444"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24644-4_15","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:34:39Z","timestamp":1443072879000},"page":"215-229","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Pre-congruence Format for XY-simulation"],"prefix":"10.1007","author":[{"given":"Harsh","family":"Beohar","sequence":"first","affiliation":[]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-15375-4_6","volume-title":"CONCUR 2010 - Concurrency Theory","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Vaandrager, F.W.: Learning I\/O automata. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 71\u201385. Springer, Heidelberg (2010)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-29320-7_18","volume-title":"Fundamentals of Software Engineering","author":"L. Aceto","year":"2012","unstructured":"Aceto, L., F\u00e1bregas, I., de Frutos Escrig, D., Ing\u00f3lfsd\u00f3ttir, A., Palomino, M.: Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol.\u00a07141, pp. 268\u2013283. Springer, Heidelberg (2012)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Aceto, L., Fokkink, W.J., Verhoef, C.: Structural operational semantics. In: Handbook of Process Algebra, Chapter 3, pp. 197\u2013292. Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50021-7"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR \u201998 Concurrency Theory","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 163\u2013178. Springer, Heidelberg (1998)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press (2009)","DOI":"10.1017\/CBO9781139195003"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., van Beek, D.A., Luttik, B., Markovski, J., Rooda, J.E.: A process-theoretic approach to supervisory control theory. In: American Control Conference (ACC), pp. 4496\u20134501 (June 2011)","DOI":"10.1109\/ACC.2011.5990831"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/3-540-57208-2_33","volume-title":"CONCUR\u201993","author":"J.C.M. Baeten","year":"1993","unstructured":"Baeten, J.C.M., Verhoef, C.: A congruence theorem for structured operational semantics with predicates. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 477\u2013492. Springer, Heidelberg (1993)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"issue":"1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/963927.963929","volume":"5","author":"B. Bloom","year":"2004","unstructured":"Bloom, B., Fokkink, W., van Glabbeek, R.J.: Precongruence formats for decorated trace semantics. ACM ToCL\u00a05(1), 26\u201378 (2004)","journal-title":"ACM ToCL"},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1145\/234752.234756","volume":"43","author":"R. Bol","year":"1996","unstructured":"Bol, R., Groote, J.F.: The meaning of negative premises in transition system specifications. J. ACM\u00a043(5), 863\u2013914 (1996)","journal-title":"J. ACM"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90276-L","volume":"106","author":"G. Boudol","year":"1992","unstructured":"Boudol, G., Larsen, K.G.: Graphical versus logical specifications. TCS\u00a0106(1), 3\u201320 (1992)","journal-title":"TCS"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of ESEC\/FSE-9, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503225.503226"},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/j.tcs.2005.11.035","volume":"354","author":"W.J. Fokkink","year":"2006","unstructured":"Fokkink, W.J., van Glabbeek, R.J., de Wind, P.: Compositionality of hennessy-milner logic by structural operational semantics. TCS\u00a0354(3), 421\u2013440 (2006)","journal-title":"TCS"},{"issue":"2","key":"15_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"J.F. Groote","year":"1993","unstructured":"Groote, J.F.: Transition system specifications with negative premises. TCS\u00a0118(2), 263\u2013299 (1993)","journal-title":"TCS"},{"key":"15_CR15","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1990)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: Proceedings of the Third Annual Symposium on Logic in Computer Science, pp. 203\u2013210 (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-33475-7_19","volume-title":"Theoretical Computer Science","author":"G. L\u00fcttgen","year":"2012","unstructured":"L\u00fcttgen, G., Vogler, W.: Modal interface automata. In: Baeten, J.C.M., Ball, T., de Boer, F.S. (eds.) TCS 2012. LNCS, vol.\u00a07604, pp. 265\u2013279. Springer, Heidelberg (2012)"},{"key":"15_CR18","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, IJCAI, pp. 481\u2013489. Morgan Kaufmann Publishers Inc. (1971)"},{"key":"15_CR19","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 rule formats and meta-theory: 20 years after. TCS\u00a0373, 238\u2013272 (2007)","journal-title":"TCS"},{"key":"15_CR20","series-title":"LNCS","first-page":"167","volume-title":"Proceedings of the 5th GI-Conference on TCS","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI-Conference on TCS. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"15_CR21","first-page":"17","volume":"60","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. JLAP\u00a060, 17\u2013139 (2004)","journal-title":"JLAP"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"15_CR23","first-page":"229","volume":"60-61","author":"R.J. Glabbeek van","year":"2004","unstructured":"van Glabbeek, R.J.: The meaning of negative premises in transition system specifications II. JLAP\u00a060-61, 229\u2013258 (2004)","journal-title":"JLAP"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24644-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:53:11Z","timestamp":1748634791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24644-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319246437","9783319246444"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24644-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}