A Coinductive Calculus for QoS-aware Generic Components Composition

摘要：

QoS is an important issue in the construction of reliable distributed systems. In this paper, a calculus of component composition is extended to deal, in an effective way, with QoS aspects in component composition. Particular emphasis is put on how the equational and refinement laws that govern composition can be derived in a calculational, pointfree style, in this model.

作者: Luis S.Barbosa Sun Meng

作者单位: Department of Informatics, Minho University, Braga, Portugal LMAM, School of Mathematical Science, Peking University, Beijing, China, 100871 State Key Laboratory

会议类型: 国际会议

会议名称: The Fourth International Conference on Mathematical Aspects of Computer and Information Sciences(第四届计算机与信息科学中的数学方法国际会议 MACIS 2011)

会议地点: 北京

会议语种:英文

页码: 22-37

在线出版日期: 2011-10-21（万方平台首次上网日期，不代表论文的发表时间）