位置：成果数据库 > 期刊 > 期刊详情页
A Pure Labeled Transition Semantics for the Applied Pi Calculus
  • 期刊名称：information sciences
  • 时间：0
  • 页码：4436-44358
  • 语言：英文
  • 相关项目：进程演算的表达能力研究
作者： Xiaojuan Cai|
同期刊论文项目
进程演算的表达能力研究
期刊论文 10 会议论文 3
同项目期刊论文
一种神经网络快速修剪算法
基于模型输出敏感度分析的动态神经网络结构设计
The λ-Calculus in the π-Calculus
Representing Bounded Petri Nets by Process Calculi
External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without Summation
有界Petri网的进程演算表达
基于改进差分进化算法的给水管网优化设计
基于增长型神经网络的污水处理过程溶解氧控制
动态结构优化神经网络及其在溶解氧控制中的应用