卢克·格罗内韦根；埃里克·德文克 范式中协调的操作语义。 （英文） Zbl 1053.68562号 Arbab，Farhad（编辑）等人，《协调模型和语言》。第五届国际会议，COORDINATION 2002，英国约克，2002年4月8日至11日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43410-0）。勒克特。注释计算。科学。2315, 191-206 (2002). 摘要：范式是SOCCA关于沟通、协调和合作的建模语言。提出了一种基于转换系统或STD的范式操作语义，并用基本的生产者-消费者示例进行了说明。与其他方法相比，Paradigm的拟议语义为系统动力学和系统比较的推理提供了良好的基础。关于整个系列，请参见[Zbl 0992.68519号]. 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：歧管 PDF格式BibTeX公司 XML格式引用 \textit{L.Groenewegen}和\textit{E.de Vink}，莱克特。注释计算。科学。2315191-206（2002年；兹bl 1053.68562） 全文： 链接