Concurrency, Graphs and Models: Preface

被引：0

|

作者：

De, Nicola, Rocco

Degano, Pierpaolo

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 条

[21] Systems Biology, Models, and Concurrency
Fontana, Walter
POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 1 - 2
[22] Translating between models of concurrency
Mestel, David
Roscoe, A. W.
ACTA INFORMATICA, 2020, 57 (3-5) : 403 - 438
[23] Models for concurrency: Towards a classification
Sassone, V
Nielsen, M
Winskel, G
THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 297 - 348
[24] Systems biology, models, and concurrency
Fontana, Walter
ACM SIGPLAN NOTICES, 2008, 43 (01) : 1 - 2
[25] Comparing Topological Models for Concurrency
Haucourt, Emmanuel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 230 : 111 - 127
[26] Models and paradigms for concurrency - Foreword
Palamidessi, C
THEORETICAL COMPUTER SCIENCE, 2001, 253 (02) : 153 - 153
[27] TOWARDS THE UNIFICATION OF MODELS FOR CONCURRENCY
FERRARI, GL
MONTANARI, U
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 431 : 162 - 176
[28] Independence Abstractions and Models of Concurrency
D'Silva, Vijay
Kroening, Daniel
Sousa, Marcelo
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 151 - 168
[29] MODELS OF CENTRAL CAPACITY AND CONCURRENCY
SCHWEICKERT, R
BOGGS, GJ
JOURNAL OF MATHEMATICAL PSYCHOLOGY, 1984, 28 (03) : 223 - 281
[30] OBSERVATIONAL LOGICS AND CONCURRENCY MODELS
DENICOLA, R
FERRARI, GL
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 301 - 315

← 1 2 3 4 5 →