作者：Robert J. Hall
摘要
论文关键词：Model Check, Service Composition, Instability Problem, Structure Sharing, Sanity Check
论文评审过程：
论文官网地址：https://doi.org/10.1007/s10515-013-0131-1
