克里斯蒂安·斯塔尔;沃尔特·福格勒 基于跟踪的操作指南视图。 （英语） Zbl 1326.68204号 马丁·霍夫曼（编辑），《软件科学和计算结构基础》。2011年3月26日至4月3日，作为欧洲软件理论与实践联合会议的一部分，在德国萨尔布吕肯举行的第14届国际会议，FOSSACS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19804-5/pbk）。计算机科学讲座笔记6604，411-425（2011）。 总结：引入了操作指南来描述给定服务的所有控制器的特征。\（S\）的控制器是一个与\（S~）交互而没有死锁的服务。操作指南\（S\）可用于决定\（S\\）是否完善另一项服务。它是一种特殊用途的结构，用于从控制器的角度而不是从服务的角度来描述服务的行为。本文从传统并发语义（基于跟踪的语义）的角度提供了对操作指南的更概念性理解。好处是，我们可以更容易地描述服务精化，并证明这是一个完全抽象的先验。关于整个系列，请参见[Zbl 1213.68041号]。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 软件：BPEL2oWFN型 PDF格式BibTeX公司 XML格式引用 \textit{C.Stahl}和\textit{W.Vogler}，莱克特。注释计算。科学。66041411--425（2011年；Zbl 1326.68204） 全文： 内政部