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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

Originele taal-2	Engels
Titel	Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005
Redacteuren	L. Aceto, A.D. Gordon
Plaats van productie	Aarhus
Uitgeverij	University of Aarhus
Pagina's	21-23
Status	Gepubliceerd - 2005

Publicatie series

Naam	BRICS notes series
Volume	NS-05-3
ISSN van geprinte versie	0909-3206

Citeer dit

@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. redactie / L. Aceto; A.D. Gordon. Aarhus : University of Aarhus, 2005. blz. 21-23 (BRICS notes series; Vol. NS-05-3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -