• 皮克特

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

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

  • 参考11篇文章[sw28573]
  • 结石是圆周率-微积分,可容纳任意名义数据类型来表示。。。超越应用的表现力圆周率-微积分以及并发约束圆周率-微积分. 我们有。。。
  • 阿基斯

  • 引用15篇文章【sw20605】
  • 应用程序中按进程划分的协议圆周率-微积分,并允许用户描述各种。。。
  • 典型的

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

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

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

  • 引用2篇文章[sw21372]
  • 将它们应用于异步圆周率-微积分与通信断言,包括它的动态语义,安全。。。
  • 可视化工具

  • 1条引用[sw00016]
  • 调用APi-微积分(扩展到圆周率-微积分)为建模迁移、智能。。。数学微积分会提高微积分以及它的吸引力。。。微积分这将是一个伟大的资产证明-微积分还有探员。。。容易适应工作圆周率-微积分本身。。。
  • 阿皮姆斯

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

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

  • 参考文献103篇[sw01361]
  • 在这项工作中,我们提出了生物PEPA,一个。。。
  • 皮杜

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

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