指令序列、线程和服务接口的进展环
摘要：定义了焦点方法接口以及这些接口与指令序列之间的一些连接，从而产生指令序列组件。我们使用可与死锁基本过程代数的抽象数据类型规范相媲美的灵活实用的符号来定义接口。因此定义的结构称为进展环。还定义了线程和服务组件。对指令序列或线程和服务的两种组合方式（称为“使用”和“应用”）被提升到组件的级别。
作者：Jan A. Bergstra, Alban Ponse
论文ID：0909.2839
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-09-16