Georgia Institute of Technology.;
机译:模块化验证分布式系统的编程语言抽象
机译:使用模型编程:模块化和抽象provida系统生物学功能强大
机译:稳定器:用于并发功能程序的模块化检查点抽象
机译:BETA编程语言中的抽象机制
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:使用模型编程:模块化和抽象为系统生物学提供强大的功能
机译:PaniniJ:在Java中添加了胶囊编程抽象,为并发程序设计中的模块化推理提供语言支持
机译:将抽象机制纳入逻辑规划范式的框架