%0 Journal Article
%T A Survey on the Coalgebraic Methods in Computer Science<br>计算机科学中的共代数方法的研究综述
%A ZHOU Xiao-Cong
%A SHU Zhong-Mei
%A <br>周晓聪
%A 舒忠梅
%J 软件学报
%D 2003
%I 
%X Unlike the widespread applications of algebraic methods in computer science, coalgebraic methods, as the dual concepts of algebras, have not been noticed by computer scientists till the mid 1990s. In algebraic methods, the constructive elements of data types are studied, while in coalgebraic methods, the observable behaviors of systems are investigated. Coalgebraic methods have distinct advantages in mathematic study of state-based systems since them enable the depth research on those systems?properties such as behavior equivalence, nondeterminism and so on. Coalgebraic methods have also been applied in many research fields, for example, automata theory, semantics of concurrency, specifications of object-oriented software etc. The recent progress of coalgebraic methods, including its basic concepts, categorical foundations, logical foundations and its applications, is summarized for raising the attention of the relative researchers.
%K coalgebra
%K bisimulation
%K final coalgebra
%K coinduction
%K coalgebraic logic<br>共代数
%K 互模拟
%K 终结共代数
%K 共归纳原理
%K 共代数逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=20949ECB7B730A2A&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=F3090AE9B60B7ED1&sid=00B387A522283F93&eid=C8223A846BBA5EA7&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=61