@收款{zbMATH06591078，作者={Basile、Davide和Degano、Pierpaolo和Ferrari、Gian Luigi}，标题={分析服务合同的自动机}，BookTitle={值得信赖的全球计算。第九届国际研讨会，TGC 2014，罗马，意大利，2014年9月5-6日。修改选定论文}，国际标准图书编号={978-3-662-45916-4；978-3-562-45917-1}，页码={34--50}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-45917-1_3}，关键词={68Q85,68Q45}，zbMATH={6591078}，Zbl={1444.68110}}