机译:信任结构指称和操作语义
Trust management; Trust structures; Foundations; Denotational and operational semantics; I/O automata;
机译:信任结构指称和操作语义
机译:将指称语义与Web服务的操作语义链接
机译:恶魔操作和指称语义
机译:Web服务的操作语义与指称语义的统一
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:基于指称语义的Verilog操作语义的完整性,完整性和非冗余性
机译:用递归和并发关系编程语言的指称和操作语义