Process algebra with a zero object

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

Process algebra with a zero object

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

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

98 Downloads (Pure)

Originele taal-2	Engels
Titel	CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)
Redacteuren	J.C.M. Baeten, J.W. Klop
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	83-98
ISBN van geprinte versie	3-540-53048-7
Status	Gepubliceerd - 1990

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	458
ISSN van geprinte versie	0302-9743

Toegang tot document

586790Definitieve gepubliceerde versie, 1,26 MB

Citeer dit

@inproceedings{09cd437e858c4d1d81b3d2510158e1fc,

title = "Process algebra with a zero object",

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

year = "1990",

language = "English",

isbn = "3-540-53048-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "83--98",

editor = "J.C.M. Baeten and J.W. Klop",

booktitle = "CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)",

address = "Germany",

}

Process algebra with a zero object. / Baeten, J.C.M.; Bergstra, J.A.
CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990). uitgave / J.C.M. Baeten; J.W. Klop. Berlin: Springer, 1990. blz. 83-98 (Lecture Notes in Computer Science; Vol. 458).

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

TY - GEN

T1 - Process algebra with a zero object

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1990

Y1 - 1990

M3 - Conference contribution

SN - 3-540-53048-7

T3 - Lecture Notes in Computer Science

SP - 83

EP - 98

BT - CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)

A2 - Baeten, J.C.M.

A2 - Klop, J.W.

PB - Springer

CY - Berlin

ER -