...
机译:论非确定性与分散性的操作语义
Communicating sequential processes; Equivalence; Specification;
机译:论非确定性与分散性的操作语义
机译:具有非确定性的低级概率程序的指称语义
机译:可数不确定性的完全抽象游戏语义学
机译:结构操作语义学中有界不确定性的规则格式
机译:识别跨语言的语义分歧
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:非确定性与分歧的操作语义学
机译:债权非确定性的操作语义等效于指称式