Formal semantics; Process algebras and calculi; Context for reversible calculi;
机译:并发AspectJ程序的动态切片:一种显式的上下文相关方法
机译:Lambda演算上下文的演算
机译:头痛教学图像:并发高钙血症诱导的可逆脑血管收缩综合征和后逆转脑病综合征
机译:原子Lambda演算:具有明确共享的类型化Lambda演算。
机译:EMIT:面向物理研究生助教的交互参与技术的显式建模及其对基于微积分的物理教学和学生表现的影响
机译:多个和并发的日程表性能:与并发和连续日程表上下文无关
机译:原子Lambda演算:具有显式共享的类型化Lambda演算
机译:具有显式递归的Lambda微积分。