并发模型的范畴论方法  

The Categorical Approach to Models for Concurrency

作　　者：李文军[1] 周晓聪[1] 李师贤[1] 

机构地区：[1]中山大学计算机科学系,广州510275

出　　处：《中山大学学报（自然科学版）》2000年第z2期165-171,共7页Acta Scientiarum Naturalium Universitatis Sunyatseni

基　　金：高等学校博士学科点专项科研基金资助项目(99-018-411703)

摘　　要：范畴论是一种通用概念框架，可作为软件工程的理论基础．介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例．Category theory is a general conceptual framework that can be used as the theoretical foun- dations of software engineering. The way of thinking of category theory is introduced, then the general approach to applying category theory to formal semantic modeling is proposed. The application of cate- gory theory to the study of some interleaving models for concurrency and the relationships between these models is also suggested.

关 键 词：并发模型 范畴论 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]