Bounded bags, stacks and queues

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

Bounded bags, stacks and queues

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

Mathematics and Computer Science

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

141 Downloads (Pure)

Original language	English
Title of host publication	CONCUR'97 (Proceedings 8th International Conference on Concurrency Theory, Warsaw, Poland, July 1-4, 1997)
Editors	A. Mazurkiewicz, J. Winkowski
Place of Publication	Berlin
Publisher	Springer
Pages	104-118
ISBN (Print)	3-540-63141-0
Publication status	Published - 1997

Publication series

Name	Lecture Notes in Computer Science
Volume	1243
ISSN (Print)	0302-9743

Access to Document

586810Final published version, 150 KB

Cite this

@inproceedings{80eb8140ef0c432786c62391a6427b30,

title = "Bounded bags, stacks and queues",

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

year = "1997",

language = "English",

isbn = "3-540-63141-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "104--118",

editor = "A. Mazurkiewicz and J. Winkowski",

booktitle = "CONCUR'97 (Proceedings 8th International Conference on Concurrency Theory, Warsaw, Poland, July 1-4, 1997)",

address = "Germany",

}

Bounded bags, stacks and queues. / Baeten, J.C.M.; Bergstra, J.A.
CONCUR'97 (Proceedings 8th International Conference on Concurrency Theory, Warsaw, Poland, July 1-4, 1997). ed. / A. Mazurkiewicz; J. Winkowski. Berlin: Springer, 1997. p. 104-118 (Lecture Notes in Computer Science; Vol. 1243).

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

TY - GEN

T1 - Bounded bags, stacks and queues

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 3-540-63141-0

T3 - Lecture Notes in Computer Science

SP - 104

EP - 118

BT - CONCUR'97 (Proceedings 8th International Conference on Concurrency Theory, Warsaw, Poland, July 1-4, 1997)

A2 - Mazurkiewicz, A.

A2 - Winkowski, J.

PB - Springer

CY - Berlin

ER -