{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T05:24:32Z","timestamp":1740461072987,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144547"},{"type":"electronic","value":"9783642144554"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14455-4_9","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T15:06:02Z","timestamp":1281711962000},"page":"76-87","source":"Crossref","is-referenced-by-count":0,"title":["Linking Algebraic Observational Equivalence and Bisimulation"],"prefix":"10.1007","author":[{"given":"Mouhebeddine","family":"Berrima","sequence":"first","affiliation":[]},{"given":"Narjes","family":"Ben Rajeb","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Categories, types, and structures: an introduction to category theory for the working computer scientist","author":"A. Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories, types, and structures: an introduction to category theory for the working computer scientist. MIT Press, Cambridge (1991)"},{"issue":"7","key":"9_CR2","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/BF01177550","volume":"31","author":"G. Bernot","year":"1994","unstructured":"Bernot, G., Bidoit, M., Knapik, T.: Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Inf.\u00a031(7), 651\u2013671 (1994)","journal-title":"Acta Inf."},{"issue":"1-2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2005.09.002","volume":"67","author":"M. Bidoit","year":"2006","unstructured":"Bidoit, M., Hennicker, R.: Constructor-Based Observational Logic. Journal of Logic and Algebraic Programming\u00a067(1-2), 3\u201351 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/S0304-3975(02)00865-4","volume":"298","author":"M. Bidoit","year":"2003","unstructured":"Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theoretical Computer Science\u00a0298(3), 471\u2013501 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"2-3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and abstractor specifications. Science of Computer Programming\u00a025(2-3), 149\u2013186 (1995)","journal-title":"Science of Computer Programming"},{"issue":"1-3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2007.11.018","volume":"393","author":"P. Buchholz","year":"2008","unstructured":"Buchholz, P.: Bisimulation relations for weighted automata. Theoretical Computer Science\u00a0393(1-3), 109\u2013123 (2008)","journal-title":"Theoretical Computer Science"},{"key":"9_CR7","first-page":"85","volume":"53","author":"D. Caucal","year":"1995","unstructured":"Caucal, D.: Bisimulation of Context-Free Grammars and of Pushdown Automata. CSLI Lecture Notes\u00a053, 85\u2013106 (1995)","journal-title":"CSLI Lecture Notes"},{"key":"9_CR8","unstructured":"Diaconescu, R., Futatsugi, K.: Behavioural Coherence in Object-Oriented Algebraic Specification. In: Calude, C.S., Stefanescu, G. (eds.) Journal of Universal Computer Science, vol.\u00a06(1), pp. 74\u201396 (2000)"},{"key":"9_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification I","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification I. Springer, New Work (1985)"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science\u00a0245(1), 55\u2013101 (2000)","journal-title":"Theoretical Computer Science"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-49253-4_20","volume-title":"Algebraic Methodology and Software Technology","author":"R. Hennicker","year":"1998","unstructured":"Hennicker, R., Bidoit, M.: Observational logic. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 263\u2013277. Springer, Heidelberg (1998)"},{"key":"9_CR12","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":"9_CR13","volume-title":"Objects and classes, co-algebraically, Object orientation with parallelism and persistence","author":"B. Jacobs","year":"1996","unstructured":"Jacobs, B.: Objects and classes, co-algebraically, Object orientation with parallelism and persistence. Kluwer Academic Publishers, Norwell (1996)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation and open maps. In: LICS: IEEE Symposium on Logic in Computer Science, Montreal, Canada, pp. 418\u2013427 (2003)","DOI":"10.1109\/LICS.1993.287566"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kumar, R., Zhou, C., Basu, S.: Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables. In: Proc. of 2006 American Control Conference, Minneapolis, MN, pp. 6057\u20136062 (2006)","DOI":"10.1109\/ACC.2006.1657692"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-64299-4_40","volume-title":"Recent Trends in Algebraic Development Techniques","author":"S. Lasota","year":"1998","unstructured":"Lasota, S.: Open maps as a bridge between algebraic observational equivalence and bisimilarity. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 285\u2013299. Springer, Heidelberg (1998)"},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-61629-2_53","volume-title":"Recent Trends in Data Type Specification","author":"Grant Malcolm","year":"1996","unstructured":"Malcolm, G.: Behavioural Equivalence, Bisimulation, and Minimal Realisation. In: Selected papers from the 11th Workshop on Specification of Abstract Data Types, vol.\u00a01130(3), pp. 359\u2013378. Springer, Heidelberg (1996)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Mealy, G.H.: A Method to Synthesizing Sequential Circuits. Bell Systems Technical Journal\u00a034 (1955)","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"9_CR19","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Secaucus (1982)"},{"key":"9_CR20","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, New York (1999)"},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume-title":"Recent Trends in Data Type Specification","author":"M.P. Nivela","year":"1988","unstructured":"Nivela, M.P., Orejas, F.: Initial behavior semantics for algebraic specifications. In: Recent Trends in Data Type Specification, pp. 184\u2013207. Springer, Heidelberg (1988)"},{"key":"9_CR22","unstructured":"Reichel, H.: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In: Proc. of the 3rd. Hungarian Computer Science Conference, Akad\u00e9mia kiad\u00f3, pp. 27\u201339 (1981)"},{"key":"9_CR23","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial computability, algebraic specifications, and partial algebras","author":"H. Reichel","year":"1987","unstructured":"Reichel, H.: Initial computability, algebraic specifications, and partial algebras. Oxford University Press Inc., New York (1987)"},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-46508-1_17","volume-title":"Selected Papers from Automated Deduction in Classical and Non-Classical Logics","author":"G. Rosu","year":"2000","unstructured":"Rosu, G., Goguen, J.: Hidden Congruent Deduction. In: Selected Papers from Automated Deduction in Classical and Non-Classical Logics, pp. 251\u2013266. Springer, Heidelberg (2000)"},{"issue":"1","key":"9_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249(1), 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"9_CR26","unstructured":"Rutten, J.J.M.M.: A calculus of transition systems (towards universal coalgebra), Thechnical report, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands (1995)"},{"key":"9_CR27","unstructured":"Rutten, J.J.M.M.: Coalgebra, concurrency, and control, Thechnical report, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands (1999)"},{"key":"9_CR28","first-page":"413","volume-title":"The Proc. of the 1983 International FCT-Conference on Fundamentals of Computation Theory","author":"D. Sannella","year":"1983","unstructured":"Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. In: The Proc. of the 1983 International FCT-Conference on Fundamentals of Computation Theory, pp. 413\u2013427. Springer, Heidelberg (1983)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14455-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T09:30:04Z","timestamp":1740389404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14455-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144547","9783642144554"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14455-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}