用π-演算描述网络考试系统
点击次数：
第一作者：黄银强
发表时间：2006-01-01
发表刊物：浙江师范大学学报(自然科学版)
所属单位：数理与信息工程学院
文献类型：期刊
卷号：第29卷
期号：第3期
页面范围：293-296
ISSN号：1001-5051
关键字：考试系统；π-演算；并发；形式化
摘要：在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.
是否译文：否
上一条：重写归纳推理技术
下一条：异步非对称Chi演算的互模拟格