结果1至2054
排序依据：

  • 皮克特
  • 引用71篇文章[sw08929]
  • 米尔纳，帕罗和沃克的圆周率-微积分-作为理论基础。。。

  • 雅帕
  • 引用19篇文章[sw02739]
  • 应用程序框架圆周率-微积分，就像在基于等式逻辑的类似语言中，知识。。。

  • Psi结石
  • 参考11篇文章[sw28573]
  • 结石是圆周率-微积分不代表任意数据类型。。。超越应用的表现力圆周率-微积分以及并发约束圆周率-微积分. 我们有。。。

  • 典型的
  • 引用8篇文章[sw23207]
  • 基于类型的静态分析器圆周率-微积分. 典型的是基于类型的静态分析器。。。圆周率-微积分. TyPiCal的当前版本提供以下程序分析或程序转换。。。无用代码消除（UCE）优化圆周率-微积分通过删除子进程来处理。。。

  • 阿基斯
  • 参考12篇文章【sw20605】
  • 应用程序中按进程划分的协议圆周率-微积分，并允许用户描述各种。。。

  • 生物圈
  • 参考7篇文章[sw11784]
  • 生物化学系统圆周率 微积分. 它基于Logix系统，它。。。主要特点圆周率-微积分. 据我们所知。。。

  • 图片2lnt
  • 引用2篇文章[sw13368]
  • 模型检验变换圆周率-微积分. π-微积分[12] 被提议。。。

  • CLF公司
  • 引用2篇文章[sw21372]
  • 将它们应用于异步圆周率-微积分与通信断言，包括它的动态语义，安全。。。

  • 可视化工具
  • 1条引用[sw00016]
  • 调用APi-微积分（扩展到圆周率-微积分)为建模迁移、智能。。。数学微积分会提高微积分以及它的吸引力。。。微积分会成为APi的一大资产-微积分还有探员。。。容易适应工作圆周率-微积分本身。。。

  • 阿皮姆斯
  • 1条引用[sw27565]
  • 异步的解释程序和类型检查程序圆周率-微积分多党会议和对称同步。。。

  • 伊莎贝尔
  • 在606篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。

  • 图拉费
  • 在14篇文章中引用[sw00986]
  • TulaFale：一个web服务的安全工具。网状物。。。

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

  • 皮杜
  • 引用21篇文章[sw01418]
  • PiDuce-一个试验web服务技术的项目。。。

  • 乔坎姆
  • 在26篇文章中引用[sw02065]
  • JoCaml：一种并发分布式和移动的语言。。。