• 里欧

  • 80篇参考文献[SW06353]
  • 里欧协调语言。里欧提出了分布式软件组件和服务组合的范例。基于移动信道的概念。里欧实施基于外部渠道的协调模型…简单的。应用程序设计者可以使用里欧作为一个“胶代码”的成分构造语言…
  • 利维夫

  • 23篇参考文献[SW10172]
  • 米兰理工大学(MOX)在意大利里欧在法国和埃默里大学…
  • 费利斯

  • 1篇参考文献[SW12362]
  • MACS的有限元代码里欧项目团队已决定共同开发…
  • 棱镜

  • 390篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…
  • 夏普

  • 39篇参考文献[SW03100]
  • 夏普,符号层次自动化可靠性和性能评估器…
  • CADP

  • 126篇参考文献[SW0493]
  • CADP(“分布式过程的构造和分析”,以前…
  • 莫德

  • 647篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 皮卡拉

  • 17篇参考文献[SW06408]
  • PICCAL——一种小的组合语言。虽然面向对象…
  • viptos

  • 4篇参考文献[SW09423 ]
  • Viptos(视觉托勒密和TinyOS)是一个完整的…