您的位置： 专家智库 > >

杨振国

作品数：2 被引量：0H指数：0
供职机构：浙江师范大学数理与信息工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇演进
  • 1篇子类型
  • 1篇客户机
  • 1篇会话
  • 1篇交互模式
  • 1篇分布式
  • 1篇分布式计算
  • 1篇服务器
  • 1篇PI-演算

机构

  • 2篇浙江师范大学

作者

  • 2篇杨振国
  • 1篇钟发荣

传媒

  • 1篇浙江师范大学...

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
二元会话类型系统中演进特性研究
2013年
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此外,还定义了递归会话类型的子类型和松弛对偶关系,提高了类型系统的灵活性.
钟发荣杨振国
关键词：PI-演算
客户机—服务器交互模式类型系统的演进特性研究
随着计算机网络及通信技术的发展，以分布性、并发性、异构性和互操作性等为主要特征的并发分布式计算已成为计算机研究中的主流方向。确保并行分布式系统进行安全交互的结构化通信，是并发分布式计算理论和实践的中心问题。基于Pi-演算...
杨振国
关键词：客户机服务器交互模式分布式计算
全选 清除 导出
共1页<1>
聚类工具0