• 数据链路连接器

  • 1条引用[sw19394]
  • 相互作用的确定性过程多路 会合,一个从过程代数继承的强大的交互原语。。。网络。为了处理多路 会合在远程进程之间,运行时基于。。。
  • 时代

  • 引用25篇文章[sw01403]
  • 时代——一个建模和实现的工具。。。
  • M-树

  • 引用13篇文章[sw02565]
  • 安全处理器体系结构支持新的应用程序集。。。
  • CADP

  • 引用130篇文章[sw04993]
  • “分布式过程的构造和分析”,以前。。。
  • 雷奥

  • 引用85篇文章[sw06353]
  • Reo协调语言。Reo提供了一个范例。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • 开放式2.0:一个集成偏序的灵活工具。。。
  • 团结

  • 引用185篇[sw13461]
  • 统一仿真模型开发与分析。我们。。。
  • XTL公司

  • 引用4篇文章[sw21954]
  • XTL(可执行时态语言)是一种函数式编程。。。