手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
分布式数据库并发控制的一个理论模型
本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。
0 47
手机阅读本文
下载APP 手机查看本文
暨南大学学报(自然科学与医学版)
1989年01期
相似文献
图书推荐
相关工具书

搜 索