机译:可存储锁的分离逻辑的逐步索引Kripke模型
SemanticsConcurrencySeparation LogicStep-Indexing;
机译:递归世界上的逐步索引kripke模型
机译:分步索引的隐藏状态Kripke模型
机译:为串行正则语法逻辑构造正逻辑程序的有限最小Kripke模型
机译:递归世界上的逐步索引Kripke模型
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:用于分离逻辑的正式C内存模型
机译:可存储锁的分离逻辑的分步索引Kripke模型
机译:电子光刻sTaR设计指南。第3部分:用于定制微处理器的马赛克晶体管阵列。第4部分:存储逻辑阵列,sLas用时钟CmOs实现