首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Concurrency, Graphs and Models: Preface
被引:0
|
作者
:
De, Nicola, Rocco
论文数:
0
引用数:
0
h-index:
0
De, Nicola, Rocco
Degano, Pierpaolo
论文数:
0
引用数:
0
h-index:
0
Degano, Pierpaolo
Meseguar, Jose
论文数:
0
引用数:
0
h-index:
0
Meseguar, Jose
机构
:
来源
:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
2008年
/ 5065 LNCS卷
关键词
:
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
相关论文
共 50 条
[31]
FAIRNESS IN MODELS WITH TRUE CONCURRENCY
NOLTE, D
论文数:
0
引用数:
0
h-index:
0
NOLTE, D
PRIESE, L
论文数:
0
引用数:
0
h-index:
0
PRIESE, L
LECTURE NOTES IN COMPUTER SCIENCE,
1991,
527
: 455
-
469
[32]
Translating between models of concurrency
David Mestel
论文数:
0
引用数:
0
h-index:
0
机构:
University of Luxembourg,Centre for Security, Reliability and Trust
David Mestel
A. W. Roscoe
论文数:
0
引用数:
0
h-index:
0
机构:
University of Luxembourg,Centre for Security, Reliability and Trust
A. W. Roscoe
Acta Informatica,
2020,
57
: 403
-
438
[33]
ON DISTRIBUTED LANGUAGES AND MODELS FOR CONCURRENCY
ROZOY, B
论文数:
0
引用数:
0
h-index:
0
机构:
LRI, CNRS, URA, F-91405 ORSAY, FRANCE
LRI, CNRS, URA, F-91405 ORSAY, FRANCE
ROZOY, B
LECTURE NOTES IN COMPUTER SCIENCE,
1992,
609
: 267
-
291
[34]
Concurrency, Specification and Programming (CS&P) Preface
Czaja, Ludwik
论文数:
0
引用数:
0
h-index:
0
机构:
Vistula Univ, Warsaw, Poland
Univ Warsaw, Inst Informat, PL-00325 Warsaw, Poland
Vistula Univ, Warsaw, Poland
Czaja, Ludwik
Penczek, Wojciech
论文数:
0
引用数:
0
h-index:
0
机构:
Polish Acad Sci, Inst Comp Sci, PL-00901 Warsaw, Poland
Siedlce Univ Nat Sci & Humanities, Pecs, Hungary
Vistula Univ, Warsaw, Poland
Penczek, Wojciech
论文数:
引用数:
h-index:
机构:
Stencel, Krzysztof
FUNDAMENTA INFORMATICAE,
2016,
143
(1-2)
: V
-
VI
[35]
Concurrency Specification and Programming (CS&P) Preface
Burkhard, Hans-Dieter
论文数:
0
引用数:
0
h-index:
0
机构:
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Burkhard, Hans-Dieter
Czaja, Ludwik
论文数:
0
引用数:
0
h-index:
0
机构:
Warsaw Univ, Warsaw, Poland
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Czaja, Ludwik
Lindemann, Gabriela
论文数:
0
引用数:
0
h-index:
0
机构:
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Lindemann, Gabriela
Penczek, Wojciech
论文数:
0
引用数:
0
h-index:
0
机构:
Inst Comp Sci PAS, Warsaw, Poland
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Penczek, Wojciech
论文数:
引用数:
h-index:
机构:
Salwicki, Andrzej
Schlingloff, Holger
论文数:
0
引用数:
0
h-index:
0
机构:
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Schlingloff, Holger
Suraj, Zbigniew
论文数:
0
引用数:
0
h-index:
0
机构:
Rzeszow Univ, Rzeszow, Poland
Humboldt Univ, Fraunhofer Inst FIRST, D-1086 Berlin, Germany
Suraj, Zbigniew
FUNDAMENTA INFORMATICAE,
2008,
85
(1-4)
: VII
-
VII
[36]
Preface for the special issue on Interaction and Concurrency Experience 2012
Carbone, Marco
论文数:
0
引用数:
0
h-index:
0
机构:
IT Univ Copenhagen, Copenhagen, Denmark
IT Univ Copenhagen, Copenhagen, Denmark
Carbone, Marco
论文数:
引用数:
h-index:
机构:
Lanese, Ivan
Silva, Alexandra
论文数:
0
引用数:
0
h-index:
0
机构:
Radboud Univ Nijmegen, NL-6525 ED Nijmegen, Netherlands
IT Univ Copenhagen, Copenhagen, Denmark
Silva, Alexandra
论文数:
引用数:
h-index:
机构:
Sokolova, Ana
SCIENCE OF COMPUTER PROGRAMMING,
2015,
100
: 1
-
1
[37]
Concurrency Specification and Programming (CS&P) Preface
Penczek, Wojciech
论文数:
0
引用数:
0
h-index:
0
机构:
Polish Acad Sci, Inst Comp Sci, PL-00901 Warsaw, Poland
Podlasie Univ, Inst Comp Sci, Siedlce, Poland
Polish Acad Sci, Inst Comp Sci, PL-00901 Warsaw, Poland
Penczek, Wojciech
FUNDAMENTA INFORMATICAE,
2010,
102
(01)
: V
-
V
[38]
Concurrency Specification and Programming (CS&P) Preface
Czaja, Ludwik
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Warsaw, Inst Informat, Warsaw, Poland
Univ Econ & Comp Sci, Warsaw, Poland
Univ Warsaw, Inst Informat, Warsaw, Poland
Czaja, Ludwik
FUNDAMENTA INFORMATICAE,
2011,
109
(03)
: I
-
I
[39]
Concurrency Specification and Programming (CS&P) Preface
Czaja, Ludwik
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Warsaw, Inst Informat, PL-00325 Warsaw, Poland
Univ Econ & Comp Sci Vistula, Warsaw, Poland
Univ Warsaw, Inst Informat, PL-00325 Warsaw, Poland
Czaja, Ludwik
FUNDAMENTA INFORMATICAE,
2012,
119
(3-4)
: I
-
I
[40]
Preface for the special issue on Interaction and Concurrency Experience 2017
论文数:
引用数:
h-index:
机构:
Bartoletti, Massimo
论文数:
引用数:
h-index:
机构:
Bocchi, Laura
论文数:
引用数:
h-index:
机构:
Henrio, Ludovic
Knight, Sophia
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Minnesota, Duluth, MN 55812 USA
Univ Cagliari, Cagliari, Italy
Knight, Sophia
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
2019,
109
←
1
2
3
4
5
→