Preface to the special issue on Open Problems in Concurrency Theory

被引：0

作者：

Castellani, Ilaria ^{[1
]}

D'Argenio, Pedro R. ^{[2
]}

Mousavi, Mohammad Reza ^{[3
]}

Sokolova, Ana ^{[4
]}

机构：

[1] Univ Cote Azur, INRIA, Sophia Antipolis, France

[2] Univ Nacl Cordoba, CONICET, Cordoba, Argentina

[3] Kings Coll London, London, England

[4] Univ Salzburg, Salzburg, Austria

来源：

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2023年 / 130卷

关键词：

D O I：

10.1016/j.jlamp.2022.100823

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This special issue reports on current research in the area of Concurrency Theory as well as challenges for the future in the area. They are the result of contributions to the research seminar Open Problems in Concurrency Theory, OPCT 2017 and associated discussions. (C) 2022 Published by Elsevier Inc.

引用

页数：2

共 50 条

[1] Editorial for the Special Issue on Open Problems in Concurrency Theory
Bernardo, Marco
Gebler, Daniel
Loreti, Michele
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (06) : 731 - 731
[2] Preface to special issue: Expressiveness in Concurrency 2008
Hildebrandt, Thomas
Gorla, Daniele
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (01) : 1 - 2
[3] Preface for the special issue on Interaction and Concurrency Experience 2012
Carbone, Marco
Lanese, Ivan
Silva, Alexandra
Sokolova, Ana
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 100 : 1 - 1
[4] Preface for the special issue on Interaction and Concurrency Experience 2017
Bartoletti, Massimo
Bocchi, Laura
Henrio, Ludovic
Knight, Sophia
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 109
[5] Preface for the special issue on Interaction and Concurrency Experience 2014
Lanese, Ivan
Lafuente, Alberto Lluch
Sokolova, Ana
Vieira, Hugo Torres
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (03) : 367 - 367
[6] Preface for the special issue on Interaction and Concurrency Experience 2016
Bartoletti, Massimo
Henrio, Ludovic
Knight, Sophia
Vieira, Hugo Torres
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 98 : 26 - 26
[7] Preface for the special issue on Interaction and Concurrency Experience 2015
Lanese, Ivan
Lafuente, Alberto Lluch
Knight, Sophia
Vieira, Hugo Torres
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 86 (01) : 1 - 1
[8] Preface for the special issue of Interaction and Concurrency Experience 2013
Carbone, Marco
Lanese, Ivan
Lafuente, Alberto Lluch
Sokolova, Ana
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 109 : 1 - 1
[9] Special issue on Application of Concurrency to System Design - Preface
Janicki, R
[J]. FUNDAMENTA INFORMATICAE, 2006, 70 (1-2) : V - VI
[10] Application and Theory of Petri Nets and Concurrency 2020: Special Issue of Selected Papers Preface
Janicki, Ryszard
Lasota, Slawomir
Sidorova, Natalia
[J]. FUNDAMENTA INFORMATICAE, 2021, 183 (3-4) : I - II

← 1 2 3 4 5 →