摘要
本文提出了一种新的刻划并发行为的方法.这种方法的基础是笔者近年来设计并实现的一种面向对象的程序设计语言.尽管语言本身没有特别引入用于并发程序设计的设施,但它却能用来描述各种并发行为的模型,并以完善的高级形式提交给用户.
This paper presents a new method for describing concurrent behaviors.The basis of the method is the object-oriented programming language designed and implemented recently by the author. Although the language does not introduce any specific facilities for concurrent programming, it is able to describe various concurrent behavior models in a well-structured and high- -level form.
出处
《计算机学报》
EI
CSCD
北大核心
1992年第4期241-249,共9页
Chinese Journal of Computers
基金
国家自然科学基金青年基金
关键词
面向对象
程序设计
并发程序
模型
Object-oriented programming, concurrent programming, concurrent model.
