首页> 中文期刊> 《计算机应用》 >Mini CSP语言的时态语义

Mini CSP语言的时态语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义，提出了一种描述同步通讯的方法，在此基础上，描述了真正的分布式程序的执行。

著录项

来源
《计算机应用》 |1995年第1期|12|共1页
作者
左志宏; 龚天富;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
MiniCSP语言; 时态语义; 形式语义; 并行程序;

相似文献

中文文献
外文文献
专利

1. Mini CSP—R语言的操作语义 [J] . 左志宏 ,龚天富 . 电子科技大学学报 . 1994,第006期
2. HBase的时态语义处理机制和时态查询语言 [J] . 熊岚 ,熊明 ,唐常杰 . 计算机应用 . 1993,第001期
3. 时态规划中基于CSP技术的时态约束方法 [J] . 伍丽华 ,陈蔼祥 ,姜云飞 . 计算机学报 . 2012,第008期
4. CSP语言的再继续语义 [J] . 林洪 ,王敏 . 计算机科学 . 1996,第002期
5. Occam语言的时态语义 [J] . 耿峻 ,谭新明 . 软件学报 . 1990,第002期
6. 自然语言与形式语言的智能融合--模糊语言、可拓语言与集对语言的语义初探 [C] . 马丁 ,贺仲雄 . 2004年全国理论计算机科学学术年会 . 2004
7. TRDB中时态参照完整性与时态更新语义的研究与实现 [A] . 杨坤 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号