机译:代数动态体系结构描述的“抽象过程”方法
Univ Valladolid, Dept Informat, E-47011 Valladolid, Spain;
architecture description language; process algebra; dynamic software architecture; abstract process; reflection; pi-calculus; SOFTWARE ARCHITECTURES; DESCRIPTION LANGUAGE; SYSTEMS;
机译:使用过程代数体系结构描述语言处理通信:建模,验证和实现
机译:关于ASIP设计自动化的通用处理器体系结构描述的提案-处理器和机器描述的集成,用于可重定向的编译器
机译:关于ASIP设计自动化的通用处理器体系结构描述的提案-处理器和机器描述的集成,用于可重定向的编译器
机译:Padl2java:用于过程代数建筑描述的Java代码生成器
机译:关系代数工具包:一种用户友好的方法,用于在网络上呈现和处理关系代数查询。
机译:K通道:用于液滴微流体中动态可重新配置样品处理的多功能体系结构
机译:“抽象过程”方法进行代数动态架构描述