%0 Journal Article
%T 一种并发面向对象同步模型研究
%A 吕建
%A 唐宝
%A 廖宇
%A 杨大军
%J -
%D 2002
%X 同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用
%K 并发面向对象 继承 同步 继承异常
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20020110&flag=1