DSIC, Universidad Politecnica de Valencia Camino de Vera s, Apdo. 22012, 46071 Valencia, Spain;
Dip. Matematica e Informatica Via delle Scienze 206, 33100 Udine, Italy;
Dip. Di Scienze Matematiche e Informatiche Pian dei Mantellini 44, 53100 Siena, Ita;
机译:使用递归组成代数的Web服务交互建模和验证
机译:Web服务组合的代数建模和验证
机译:在万维网上的Web服务验证和验证
机译:快速代数Web验证服务
机译:复合Web服务中对话的一种正式验证方法。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:快速代数Web验证服务
机译:复合Web服务规范和验证的表示法