查看文章

This paper presents the synchronization mechanism for the concurrent object− oriented language Guide and its impact on the semantics of subtyping and subclassing. This scheme was mainly designed to deal with two classes of problems: mutual exclusion conditions and scheduling constraints.