• 奶牛

  • 引用51篇文章[sw06955]
  • 从知名人士那里借来的原料过程 结石例如,异步通信、多元子同步、模式匹配、保护。。。补偿处理程序,以及用于编码其他过程和编排语言。。。
  • 皮杜

  • 引用21篇文章[sw01418]
  • 依靠可靠的理论过程 结石以及XML文档和模式的形式化语言。。。运行时环境支持PiDuce的执行过程通过网络依靠国家。。。
  • 朱莉

  • 引用9篇文章[sw12396]
  • 典型的并发建模过程 结石. 关于朱莉在感觉障碍时期的基础工作。。。
  • 可编码性

  • 1条引用[sw38017]
  • 可编码性_过程_结石:分析和比较过程 结石. 编码或证明。。。比较的主要方式过程 结石. 分析编码质量的规律。。。更好地理解比较关系的问题过程...
  • CoSP公司

  • 引用5篇文章[sw25389]
  • x密码原语对y的证明结石只需要x+y证明(而不是…没有这个框架),并且过程嵌入结石从概念上与计算可靠性分离。。。
  • 棒棒鼻

  • 引用5篇文章[sw22624]
  • 与lambda中的并发原语交互结石还是有点特别。在本文中。。。会话类型。Lolliproc的特点是过程微积分“在引擎盖下”,但隐藏了机器。。。
  • 超小卫星

  • 引用558篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 倍频程

  • 在303篇文章中引用[sw00646]
  • GNUOctave是一种高级语言,主要是。。。
  • 丰满

  • 在14篇文章中引用[sw00718]
  • CSCS-ETH/NEC联合并行协作。。。
  • 图拉费

  • 在14篇文章中引用[sw00986]
  • TulaFale:一个web服务的安全工具。网状物。。。
  • 棱镜

  • 引用434篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 克拉瓦

  • 引用19篇文章[sw01243]
  • Klava:一个面向分布式和移动的Java包。。。
  • 生物PEPA

  • 引用104篇文章[sw01361]
  • 在这项工作中,我们提出了生物PEPA,一个。。。