类的顺序演算中的可观察性、连通性和重放 电子书下载

原名:Observability, Connectivity, and Replay in a Sequential Calculus of Classes
作品简介:Erika Ábrahám2 和 Marcello M. Bonsangue3 以及 Frank S. de Boer4 和。安德烈亚斯·格鲁纳1 和马丁·史蒂芬1​​。 1 基尔基督教阿尔布莱希茨大学……