Department of Computer Science, WPI;
Department of Computer Science, WPI;
Department of Computer Science, WPI;
Computer Science Department, Brown University;
机译:链接概率语义共享变量语言的操作语义和代数语义
机译:将指称语义与Web服务的操作语义链接
机译:将指称语义与Web服务的操作语义链接
机译:探索用于案件管理流程建模的Alloy操作语义
机译:混合系统的操作语义。
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:迈向合金的操作语义学
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义