首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
AXIOMS FOR CONCURRENT PROCESSES
被引:0
|
作者
:
CREMERS, AB
论文数:
0
引用数:
0
h-index:
0
CREMERS, AB
HIBBARD, TN
论文数:
0
引用数:
0
h-index:
0
HIBBARD, TN
机构
:
来源
:
LECTURE NOTES IN COMPUTER SCIENCE
|
1991年
/ 555卷
关键词
:
D O I
:
暂无
中图分类号
:
TP31 [计算机软件];
学科分类号
:
081202 ;
0835 ;
摘要
:
引用
收藏
页码:54 / 68
页数:15
相关论文
共 50 条
[1]
CONCURRENT BEHAVIOR - SEQUENCES, PROCESSES AND AXIOMS
BEST, E
论文数:
0
引用数:
0
h-index:
0
BEST, E
LECTURE NOTES IN COMPUTER SCIENCE,
1985,
197
: 221
-
245
[2]
Axioms for contextual net processes
Gadducci, F
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Berlin, Fach Informat 13, Berlin, Germany
Tech Univ Berlin, Fach Informat 13, Berlin, Germany
Gadducci, F
Montanari, U
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Berlin, Fach Informat 13, Berlin, Germany
Montanari, U
AUTOMATA, LANGUAGES AND PROGRAMMING,
1998,
1443
: 296
-
308
[3]
A COMPLETE SET OF AXIOMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
论文数:
0
引用数:
0
h-index:
0
DENICOLA, R
LECTURE NOTES IN COMPUTER SCIENCE,
1983,
158
: 115
-
126
[4]
Calculi for Concurrent Processes
GerardBoudol
论文数:
0
引用数:
0
h-index:
0
机构:
France
GerardBoudol
Journal of Computer Science and Technology,
1998,
(06)
: 509
-
509
[5]
Calculi for concurrent processes
Gérard Boudol
论文数:
0
引用数:
0
h-index:
0
机构:
INRIA,
Gérard Boudol
Journal of Computer Science and Technology,
1998,
13
(6)
: 509
-
509
[6]
Evolvable concurrent processes
Murakami, M
论文数:
0
引用数:
0
h-index:
0
机构:
Okayama Univ, Grad Sch Nat Sci & Technol, Dept Informat & Commun Syst, Okayama 7008530, Japan
Okayama Univ, Grad Sch Nat Sci & Technol, Dept Informat & Commun Syst, Okayama 7008530, Japan
Murakami, M
COMPUTER STANDARDS & INTERFACES,
2003,
25
(03)
: 233
-
239
[7]
CONCURRENT TESTING OF PROCESSES
HENNESSY, M
论文数:
0
引用数:
0
h-index:
0
机构:
School of Cognitive and Computing Sciences, University of Sussex, Brighton, BN1 9QH, Falmer
HENNESSY, M
ACTA INFORMATICA,
1995,
32
(06)
: 509
-
543
[8]
Compositions of Concurrent Processes
Burgin, Mark
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Calif Los Angeles, Dept Comp Sci, Los Angeles, CA 90095 USA
Vassar Coll, Dept Comp Sci, Poughkeepsie, NY 12604 USA
Burgin, Mark
Smith, Marc L.
论文数:
0
引用数:
0
h-index:
0
机构:
Vassar Coll, Dept Comp Sci, Poughkeepsie, NY 12604 USA
Vassar Coll, Dept Comp Sci, Poughkeepsie, NY 12604 USA
Smith, Marc L.
COMMUNICATING PROCESS ARCHITECTURES 2006: WOTUG-29,
2006,
64
: 281
-
+
[9]
DYNAMIC CONCURRENT PROCESSES
FANCHON, J
论文数:
0
引用数:
0
h-index:
0
FANCHON, J
LECTURE NOTES IN COMPUTER SCIENCE,
1992,
605
: 859
-
874
[10]
CONCURRENT PROCESSES AS OBJECTS
MILNER, R
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV EDINBURGH,EDINBURGH EH8 9YL,MIDLOTHIAN,SCOTLAND
UNIV EDINBURGH,EDINBURGH EH8 9YL,MIDLOTHIAN,SCOTLAND
MILNER, R
LECTURE NOTES IN COMPUTER SCIENCE,
1991,
551
: 9
-
9
←
1
2
3
4
5
→