计算机科学中的共代数方法的研究综述-ResearchGate.PDFVIP

See discussions, stats, and author profiles for this publication at: /publication/266703317 A survey on the coalgebraic methods in computer science Article  in  Journal of Software · January 2003 CITATIONS READS 2 71 2 authors, including: Xiaocong Zhou Sun Yat-Sen University 23 PUBLICATIONS   56 CITATIONS    SEE PROFILE Some of the authors of this publication are also working on these related projects: Software Debuging, Testing and Analysis View project All content following this page was uploaded by Xiaocong Zhou on 03 May 2016. The user has requested enhancement of the downloaded file. 1000-9825/2003/14(10)1661 ©2003 Journal of Software 软 件 学 报 Vol.14, No.10 ∗ 计算机科学中的共代数方法的研究综述 + 周晓聪 , 舒忠梅 ( 中山大学 计算机科学系,广东 广州 510275) A Survey on the Coalgebraic Methods in Computer Science + ZHOU Xiao-Cong , SHU Zhong-Mei (Department of Computer Science, Sun Yat-sen University, Guangzhou 510275, China) + Corresponding author: Phn: 86-20 E-mail: isszxc@ /jzyg/zxc/zxc.htm Received 2003-04-18; Accepted 2003-06-04 Zhou XC, Shu ZM. A survey on the coalgebraic methods in computer science. Journal of Software, 2003, 14(10):1661~1671. /1000-9825/14/1661.htm Abstract: 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 inve