Process algebra with autonomous actions

T. Basten; M. Voorhoeve

Process algebra with autonomous actions

T. Basten, M. Voorhoeve

Mathematics and Computer Science

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

Originele taal-2	Engels
Titel	Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995)
Redacteuren	A.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Pagina's	181-194
Status	Gepubliceerd - 1995

Publicatie series

Naam	Computing Science Reports
Volume	95-14
ISSN van geprinte versie	9432-0101

Citeer dit

@inproceedings{8744486205344835856c2c74ec44599b,

title = "Process algebra with autonomous actions",

author = "T. Basten and M. Voorhoeve",

year = "1995",

language = "English",

series = "Computing Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "181--194",

editor = "A.J. Ponse and C. Verhoef and {Vlijmen, van}, S.F.M.",

booktitle = "Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995)",

}

Process algebra with autonomous actions. / Basten, T.; Voorhoeve, M.

Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995). redactie / A.J. Ponse; C. Verhoef; S.F.M. Vlijmen, van. Eindhoven : Technische Universiteit Eindhoven, 1995. blz. 181-194 (Computing Science Reports; Vol. 95-14).

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

TY - GEN

T1 - Process algebra with autonomous actions

AU - Basten, T.

AU - Voorhoeve, M.

PY - 1995

Y1 - 1995

M3 - Conference contribution

T3 - Computing Science Reports

SP - 181

EP - 194

BT - Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995)

A2 - Ponse, A.J.

A2 - Verhoef, C.

A2 - Vlijmen, van, S.F.M.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -