Institut für Informatik, Universitat Augsburg, D-86159 Augsburg. Germany;
Institut für Informatik, Universitat Augsburg, D-86159 Augsburg. Germany,National ICT Australia Ltd. (N1CTA), Sydney. Australia;
Institut für Informatik, Universitat Augsburg, D-86159 Augsburg. Germany;
formal semantics; separation logic; frame rule; algebra; semirings; quantales;
机译:关于并行分离逻辑与并行Kleene代数的关系
机译:子结构逻辑的割除和强分离:一种代数方法
机译:关于BCK代数-之一:尝试统一对待逻辑代数。新代数
机译:代数分离逻辑中的可变边条件和最大关系
机译:三元MAX-MIN代数,具有可逆逻辑合成的应用
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:关于并发分离逻辑的代数抽象
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合