语义连接论文

PTSC语言形式化语义的仿真设计
论文摘要随着计算机系统的日益复杂,对其进行形式化描述也逐渐困难。实时概率并行语言(PTSC)由朱惠彪教授等提出,集概率,实时和基于共享变量的并行机制于一体,可用于描述复杂系统的...