Imen Jerbi, Sami Bhiri. Definition and Induction of a Specification Order Relation between Capabilities. In Barbara Carminati, Carl K. Chang, Ernesto Daminai, Shuigung Deng, Wei Tan, Zhongjie Wang, Robert Ward, Jia Zhang, editors, IEEE International Conference on Services Computing, SCC 2021, Chicago, IL, USA, September 5-10, 2021. pages 126-133, IEEE, 2021. [doi]
Abstract is missing.