首页
期刊导航
期刊检索
论文检索
新闻中心
期刊
期刊
论文
首页
>
《计算机科学技术学报:英文版》
>
1998年6期
>
Calculi for Concurrent Processes
Calculi for Concurrent Processes
打印
分享
在线阅读
下载PDF
导出详情
摘要
未填写
DOI
n498y9oxdy/1902683
作者
GerardBoudol
机构地区
不详
出处
《计算机科学技术学报:英文版》
1998年6期
关键词
并行处理
λ-计算
通信系统
π-计算
分类
[自动化与计算机技术][计算机科学与技术]
出版日期
1998年06月16日(中国期刊网平台首次上网日期,不代表论文的发表时间)
相关文献
1
覃广平;吴尽昭.
Action Refinement for Real-Time Concurrent Processes with Urgency
.计算机科学与技术,2005-04.
2
Eu-Chang Hwang Hyang-Sik Choi Chang-Min Im Seung-II Jung Sun-Ouck Kim Tack-Won Kang Dong-Deuk Kwon Kwang-Sung Park Soo-Bang Ryu.
Prostate calculi in cancer and BPH in a cohort of Korean men:presence of calculi did not correlate with cancer risk
.泌尿科学,2010-02.
3
.
Ministries and Agencies of Concurrent Commissionership to
.人口学,1994-04.
4
Sung-Woo Park Jong-Kil Nam Sang-Don Lee Moon-Kee Chung.
Are prostatic calculi independent predictive factors of lower urinary tract symptoms?
.泌尿科学,2010-02.
5
ZHAOXUELEI.
OCCUPATION TIME PROCESSES OF FLEMING-VIOT PROCESSES
.基础数学,1995-01.
6
章寅;许卓群.
Concurrent Manipulation of Expanded AVL Trees
.计算机科学与技术,1998-04.
7
李隆;张昱;陈意云;李勇.
Certifying Concurrent Programs Using Transactional Memory
.计算机科学与技术,2009-01.
8
.
concurrent symptoms and disease conditions in sudden deafness
.耳鼻咽喉科,2010-01.
9
Jingkai Wu;Hongwu Zhang;Yonggang Zheng.
A CONCURRENT MULTISCALE METHOD FOR SIMULATION OF CRACK PROPAGATION
.固体力学,2015-03.
10
杜旭涛;邢春晓;周立柱.
Modeling and Verifying Concurrent Programs with Finite Chu Spaces
.计算机科学与技术,2010-06.
来源期刊
计算机科学技术学报:英文版
1998年6期
相关推荐
Terrane processes at the margins of Gondwana
PROCESSES OF EPHEMERAL GULLY EROSION
ON THE MEASURABILITY FOR FUNCTIONAL OF EMPIRICAL PROCESSES
Clinical characteristics of patients with motor neuron disease and concurrent tumors
A RANDOM FUNCTIONAL CENTRAL LIMIT THEOREM FOR PROCESSES OF PRODUCT SUMS OF LINEAR PROCESSES GENERATED BY MARTINGALE DIFFERENCES***
同分类资源
更多
[计算机科学与技术]
堪称大作 聚爆Implosion
[计算机科学与技术]
深圳高交会精彩不断天时达手机好戏连台
[计算机科学与技术]
PCIE X16即将爆发——讯景XFX Geforce PCX5750
[计算机科学与技术]
多媒体技术应用于教学实践的误区及对策研究
[计算机科学与技术]
信息中心的“敏捷”法则
相关关键词
并行处理
λ-计算
通信系统
π-计算
返回顶部