University of Illinois at Urbana-Champaign, Champaign, USA;
机译:定时并发系统的层次模型:组合语义学
机译:EDA工具中抽象的异构性:审查针对密集信号处理应用的多核系统的计算模型
机译:并发系统随机时间特性表征的紧凑语义模型
机译:用于并发系统的抽象,语义模型和分析工具:进度和打开问题
机译:并发系统和语言的静态和动态形式分析:一种基于语义的方法。
机译:计算建模,形式分析和系统生物学工具
机译:并发工作台:基于语义的并发系统验证工具