formal specification; parallel programming; specification languages; formal specification; heterogeneous distributed parallel programming; language mapping; multiparty interaction interface description; software development coordination; specification language; C;
机译:基于元组通道的并行和分布式编程协调模型
机译:异构系统中用于并行和分布式编程模型的中间件基础结构
机译:通过基于上下文的软件工件意识来改善分布式软件开发中的协调和交流:受控实验
机译:软件开发中协调的异构分布式并行编程
机译:异构,分布式和并行编程的Java协调原型实现。
机译:使用语义叠加网络和目标导向的Graphplan计划程序进行异构Agent的分布式协调
机译:分布式备忘录:异构的分布式并行软件开发环境
机译:分布式软件决策支持系统,用于化学和生物响应中的异构协调