...
机译:定点语义的特征公式:通用框架
School of Computer Science, Reykjavik University, IS-101 Reykjavik, Iceland;
School of Computer Science, Reykjavik University, IS-101 Reykjavik, Iceland;
University of Birmingham, Birmingham B15 2TT, UK;
School of Computer Science, Reykjavik University, IS-101 Reykjavik, Iceland;
机译:语义信息系统标准的特征框架
机译:用于同步并发的构造性调度的指称定点语义
机译:使用LTL公式和展开的基于语义的高效一致性检查
机译:视差:通过代数公式可视化和理解嵌入空间的语义
机译:非交换几何中特征类的显式公式。
机译:迈向物联网:网络物理系统的混合语义注释提取和推理框架
机译:定点语义的特征公式:通用框架