{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:53Z","timestamp":1725569993186},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642171635"},{"type":"electronic","value":"9783642171642"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17164-2_17","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T05:54:39Z","timestamp":1290146079000},"page":"239-254","source":"Crossref","is-referenced-by-count":4,"title":["Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras"],"prefix":"10.1007","author":[{"given":"Xiao-cong","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Yong-ji","family":"Li","sequence":"additional","affiliation":[]},{"given":"Wen-jun","family":"Li","sequence":"additional","affiliation":[]},{"given":"Hai-yan","family":"Qiao","sequence":"additional","affiliation":[]},{"given":"Zhong-mei","family":"Shu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","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\u00a0249(1), 3\u201380 (2000)","journal-title":"TCS"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: On the origins of bisimulation and coinduction. TOPLAS, Articale 15\u00a031(4) (2009)","DOI":"10.1145\/1516507.1516510"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0960129598002527","volume":"8","author":"D. Sangiorgi","year":"1998","unstructured":"Sangiorgi, D.: On the bisimulation proof method. Mathematical Structures in Computer Science\u00a08, 447\u2013479 (1998)","journal-title":"Mathematical Structures in Computer Science"},{"key":"17_CR4","volume-title":"The pi-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The pi-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"17_CR5","first-page":"175","volume":"7","author":"J. Rothe","year":"2001","unstructured":"Rothe, J., Tews, H., Jacobs, B.: The coalgebraic class specification language CCSL. Journal of Universal Computer Science\u00a07(2), 175\u2013193 (2001)","journal-title":"Journal of Universal Computer Science"},{"key":"17_CR6","unstructured":"C\u00eerstea, C.: Integrating Observatins and Computations in the Specification of State-based, Dynamical Systems. PhD thesis, University of Oxford (2000)"},{"issue":"1-2","key":"17_CR7","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0304-3975(00)00125-0","volume":"260","author":"A. Kurz","year":"2001","unstructured":"Kurz, A.: Specifying coalgebras with modal logic. TCS\u00a0260(1-2), 119\u2013138 (2001)","journal-title":"TCS"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0304-3975(00)00128-6","volume":"260","author":"M. R\u00f6\u00dfiger","year":"2001","unstructured":"R\u00f6\u00dfiger, M.: From modal logic to terminal coalgebras. TCS\u00a0260, 209\u2013228 (2001)","journal-title":"TCS"},{"key":"17_CR9","unstructured":"Goldblatt, R.: Equational logic of polynomial coalgebras. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol.\u00a04, pp. 149\u2013184. King\u2019s College Publications (2003)"},{"key":"17_CR10","unstructured":"Bonsangue, M., Rutten, J., Silva, A.: Regular expressons for polynomial coalgebras. CWI Report SEN-E0703 (2007)"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/LICS.2009.18","volume-title":"24th Annual IEEE Symposium on Logic in Computer Science","author":"M. Bonsangue","year":"2009","unstructured":"Bonsangue, M., Rutten, J., Silva, A.: An algebra for Kripke polynomial coalgebras. In: 24th Annual IEEE Symposium on Logic in Computer Science, pp. 49\u201358. IEEE Press, Los Alamitos (2009)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Towards a duality result in coalgebraic modal logic. ENTCS\u00a033 (2000)","DOI":"10.1016\/S1571-0661(05)80348-2"},{"key":"17_CR13","first-page":"161","volume":"44","author":"R. Goldblatt","year":"2001","unstructured":"Goldblatt, R.: A calculus of terms for coalgebras of polynomial functors. ENTCS\u00a044, 161\u2013184 (2001)","journal-title":"ENTCS"},{"key":"17_CR14","first-page":"39","volume":"19","author":"M. R\u00f6\u00dfiger","year":"1999","unstructured":"R\u00f6\u00dfiger, M.: Languages for coalgebras on datafunctors. ENTCS\u00a019, 39\u201360 (1999)","journal-title":"ENTCS"},{"key":"17_CR15","unstructured":"Jacobs, B.: The temporal logic of coalgebras via galois algebras. Technical Report CSI-R9906, Computer Science Institution, University of Nijmegen (1999)"},{"key":"17_CR16","first-page":"1","volume":"45","author":"J. Rutten","year":"2001","unstructured":"Rutten, J.: Elements of stream calculus (an extensive exercise in coinduction). ENTCS\u00a045, 1\u201366 (2001)","journal-title":"ENTCS"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-47797-7_7","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"B. Jacobs","year":"2002","unstructured":"Jacobs, B.: Exercises in coalgebraic specification. In: Backhouse, R., Crole, R., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 237\u2013280. Springer, Heidelberg (2002)"},{"issue":"1-3","key":"17_CR18","first-page":"277","volume":"96","author":"L. Moss","year":"1999","unstructured":"Moss, L.: Coalgebraic logic. APAL\u00a096(1-3), 277\u2013317 (1999)","journal-title":"APAL"},{"issue":"1","key":"17_CR19","first-page":"31","volume":"35","author":"B. Jacobs","year":"2001","unstructured":"Jacobs, B.: Many-sorted coalgeraic modal logic: a model-theoretical study. ITA\u00a035(1), 31\u201359 (2001)","journal-title":"ITA"},{"issue":"1-3","key":"17_CR20","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(03)00201-9","volume":"309","author":"D. Pattinson","year":"2003","unstructured":"Pattinson, D.: Coalgebraic modal logic: soundness, completeness and decidability of local consequence. TCS\u00a0309(1-3), 177\u2013193 (2003)","journal-title":"TCS"},{"key":"17_CR21","first-page":"1","volume":"19","author":"M. Lenisa","year":"1999","unstructured":"Lenisa, M.: From set-theoretic coinduction to coalgebraic coinduction: some resuults, some problems. ENTCS\u00a019, 1\u201321 (1999)","journal-title":"ENTCS"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1017\/S0960129502003900","volume":"13","author":"F. Bartels","year":"2003","unstructured":"Bartels, F.: Generalised coinduction. Mathematical Structures in Computer Science\u00a013, 321\u2013348 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"key":"17_CR23","first-page":"105","volume":"164","author":"L. Lingyun","year":"2006","unstructured":"Lingyun, L.: An effective coalgebraic bisimulation proof method. ENTCS\u00a0164, 105\u2013119 (2006)","journal-title":"ENTCS"},{"key":"17_CR24","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observations. Book Draft (2005), http:\/\/www.cs.ru.nl\/~bart"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17164-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T07:18:17Z","timestamp":1559805497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17164-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171635","9783642171642"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17164-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}