Six themes for future concurrency research

J.C.M. Baeten; J.A. Bergstra

Six themes for future concurrency research

J.C.M. Baeten, J.A. Bergstra

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	English
Title of host publication	Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005
Editors	L. Aceto, A.D. Gordon
Place of Publication	Aarhus
Publisher	University of Aarhus
Pages	21-23
Publication status	Published - 2005

Publication series

Name	BRICS notes series
Volume	NS-05-3
ISSN (Print)	0909-3206

Cite this

@inproceedings{2876cd06568a4c0e82fa2609dd0e6d78,

title = "Six themes for future concurrency research",

author = "J.C.M. Baeten and J.A. Bergstra",

year = "2005",

language = "English",

series = "BRICS notes series",

publisher = "University of Aarhus",

pages = "21--23",

editor = "L. Aceto and A.D. Gordon",

booktitle = "Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005",

}

Six themes for future concurrency research. / Baeten, J.C.M.; Bergstra, J.A.

Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005. ed. / L. Aceto; A.D. Gordon. Aarhus : University of Aarhus, 2005. p. 21-23 (BRICS notes series; Vol. NS-05-3).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Six themes for future concurrency research

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 2005

Y1 - 2005

M3 - Conference contribution

T3 - BRICS notes series

SP - 21

EP - 23

BT - Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005

A2 - Aceto, L.

A2 - Gordon, A.D.

PB - University of Aarhus

CY - Aarhus

ER -