西蒙·布利兹;约瑟夫·西法基斯 连接器代数——BIP中的结构化交互。 (英语) Zbl 1390.68031号 IEEE传输。计算。 57,第10号,1315-1330(2008). 评论:未发送评论稿。 引用于19文件 MSC公司: 2007年7月68日 计算机体系结构的数学问题 PDF格式BibTeX公司 XML格式引用 \textit{S.Bliudze}和\textit{J.Sifakis},IEEE Trans。计算。57,第10号,1315--1330(2008;Zbl 1390.68031) 全文: 内政部