卡洛斯·卡纳尔;哈维尔·卡马拉;Salaün,格温 行为适应下的系统结构重构。 (英语) Zbl 1264.68047号 科学。计算。程序。 78,第1号,46-64(2012).MSC公司:第68页第19页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Canal}等人,科学。计算。程序。78,第1号,46--64(2012;Zbl 1264.68047) 全文: 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 (英语) Zbl 1243.68042号 科学。计算。程序。 77,第3号,290-313(2012).MSC公司:68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,《科学》。计算。程序。77,第3号,290--313(2012;Zbl 1243.68042) 全文: 内政部
弗朗西斯科·杜兰;梅里姆·乌代尔尼;Salaün,格温 协议兼容性检查的通用框架。 (英语) Zbl 1245.68028号 科学。计算。程序。 77,编号7-8,870-886(2012).MSC公司:64岁以下 68号01 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,科学。计算。程序。77,编号7--8870--886(2012;Zbl 1245.68028) 全文: 内政部
休伯特·加拉维;Salaün,格温;温德林·塞维 关于通信硬件进程的语义及其转换为LOTOS,以便使用CADP验证异步电路。 (英语) Zbl 1160.68465号 科学。计算。程序。 74,第3期,100-127(2009).MSC公司:68问题85 68米99 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,科学。计算。程序。74,第3号,100-127(2009;Zbl 1160.68465) 全文: 内政部 链接