动态优先系统及其应用

• 作者: 周晓聪 李师贤 李文军
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 并发模型 Petri网 优先关系
• 年，卷（期）: 2001,（10）
• 页码范围: 1555-1561
• 页数: 7页
• 分类号: TP311
• 字数: 5749字
• 语种: 中文

摘要

优先关系是并发系统控制的重要手段,常用于解决并发系统设计中的冲突问题.在有界P/T系统的基础上提出一种动态优先系统,并分别给出它们的交错语义与真并发语义.动态优先系统既可以作为并发与分布式系统的建模工具,也可以作为定义程序设计语言中优先算子的语义基础.最后,基于动态优先系统的概念,为Occam语言扩充了一种动态优先选择算子.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李师贤	中山大学计算机科学系	66	914	13.0	29.0
2	李文军	中山大学计算机科学系	23	113	5.0	10.0
6	周晓聪	中山大学计算机科学系	30	153	6.0	11.0