{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:06:58Z","timestamp":1767337618670,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319689715"},{"type":"electronic","value":"9783319689722"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68972-2_3","type":"book-chapter","created":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T01:42:41Z","timestamp":1507599761000},"page":"35-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bisimilarity of Open Terms in Stream GSOS"],"prefix":"10.1007","author":[{"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[]},{"given":"Matias David","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Jurriaan","family":"Rot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"issue":"2","key":"3_CR1","first-page":"291","volume":"22","author":"L Aceto","year":"2012","unstructured":"Aceto, L., Cimini, M., Ing\u00f3lfsd\u00f3ttir, A.: Proving the validity of equations in GSOS languages using rule-matching bisimilarity. MSCS 22(2), 291\u2013331 (2012)","journal-title":"MSCS"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/11601548_18","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","author":"L Aceto","year":"2005","unstructured":"Aceto, L., Fokkink, W., Ingolfsdottir, A., Luttik, B.: Finite equational bases in process algebra: results and open questions. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 338\u2013367. Springer, Heidelberg (2005). doi:10.1007\/11601548_18"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1016\/j.tcs.2007.09.004","volume":"389","author":"P Baldan","year":"2007","unstructured":"Baldan, P., Bracciali, A., Bruni, R.: A semantic framework for open processes. Theor. Comput. Sci. 389(3), 446\u2013483 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR4","unstructured":"Bartels, F.: On generalised coinduction and probabilistic specification formats. Ph.D. thesis, CWI, Amsterdam (2004)"},{"issue":"1","key":"3_CR5","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 42(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Petrisan, D., Pous, D., Rot, J.: A general account of coinduction up-to. Acta Informatica 54(2), 127\u2013190 (2017)","DOI":"10.1007\/s00236-016-0271-4"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R de Simone","year":"1985","unstructured":"de Simone, R.: Higher-level synchronising devices in Meije-SCCS. Theor. Comput. Sci. 37, 245\u2013267 (1985)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1017\/S096012951000054X","volume":"21","author":"HH Hansen","year":"2011","unstructured":"Hansen, H.H., Klin, B.: Pointwise extensions of GSOS-defined operations. Math. Struct. Comput. Sci. 21(2), 321\u2013361 (2011)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR9","first-page":"97","volume":"20","author":"HH Hansen","year":"2010","unstructured":"Hansen, H.H., Rutten, J.J.M.M.: Symbolic synthesis of mealy machines from arithmetic bitstream functions. Sci. Ann. Comp. Sci. 20, 97\u2013130 (2010)","journal-title":"Sci. Ann. Comp. Sci."},{"issue":"38","key":"3_CR10","doi-asserted-by":"publisher","first-page":"5043","DOI":"10.1016\/j.tcs.2011.03.023","volume":"412","author":"B Klin","year":"2011","unstructured":"Klin, B.: Bialgebras for structural operational semantics: an introduction. Theor. Comput. Sci. 412(38), 5043\u20135069 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-642-03741-2_30","volume-title":"Algebra and Coalgebra in Computer Science","author":"D Lucanu","year":"2009","unstructured":"Lucanu, D., Goriac, E.-I., Caltais, G., Ro\u015fu, G.: CIRC: a behavioral verification tool based on circular coinduction. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 433\u2013442. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-03741-2_30"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.tcs.2006.12.019","volume":"373","author":"M Mousavi","year":"2007","unstructured":"Mousavi, M., Reniers, M., Groote, J.: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3), 238\u2013272 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-12032-9_9","volume-title":"Foundations of Software Science and Computational Structures","author":"A Popescu","year":"2010","unstructured":"Popescu, A., Gunter, E.L.: Incremental pattern-based coinduction for process algebra and its isabelle formalization. In: Ong, L. (ed.) FoSSaCS 2010. LNCS, vol. 6014, pp. 109\u2013127. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-12032-9_9"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Pous, D., Sangiorgi, D.: Enhancements of the bisimulation proof method. In: Advanced Topics in Bisimulation and Coinduction, Cambridge (2012)","DOI":"10.1017\/CBO9780511792588"},{"issue":"1\u20132","key":"3_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/inco.1999.2818","volume":"156","author":"A Rensink","year":"2000","unstructured":"Rensink, A.: Bisimilarity of open terms. Inf. Comput. 156(1\u20132), 345\u2013385 (2000)","journal-title":"Inf. Comput."},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. TCS 249(1), 3\u201380 (2000)","journal-title":"TCS"},{"key":"3_CR17","first-page":"358","volume":"45","author":"J Rutten","year":"2001","unstructured":"Rutten, J.: Elements of stream calculus (an extensive exercise in coinduction). ENTCS 45, 358\u2013423 (2001)","journal-title":"ENTCS"},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.tcs.2005.06.019","volume":"343","author":"J Rutten","year":"2005","unstructured":"Rutten, J.: A tutorial on coinductive stream calculus and signal flow graphs. TCS 343(3), 443\u2013481 (2005)","journal-title":"TCS"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: Proceedings of the LICS 1997, pp. 280\u2013291 (1997)","DOI":"10.1109\/LICS.1997.614955"},{"key":"3_CR20","unstructured":"Zantema, H., Endrullis, J.: Proving equality of streams automatically. In: Proceedings of RTA 2011, Novi Sad, Serbia, pp. 393\u2013408 (2011)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68972-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T03:07:44Z","timestamp":1750907264000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68972-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319689715","9783319689722"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68972-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"11 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Teheran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}