Prefix iteration in basic process algebra : applying termination techniques

W.J. Fokkink; H. Zantema

Prefix iteration in basic process algebra : applying termination techniques

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

Original language	English
Title of host publication	Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)
Editors	A.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Pages	139-156
Publication status	Published - 1995

Publication series

Name	Computing Science Reports
Volume	95-14
ISSN (Print)	9432-0101

Cite this

Fokkink, W. J., & Zantema, H. (1995). Prefix iteration in basic process algebra : applying termination techniques. In A. J. Ponse, C. Verhoef, & S. F. M. Vlijmen, van (Eds.), Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995) (pp. 139-156). (Computing Science Reports; Vol. 95-14). Technische Universiteit Eindhoven.

Fokkink, W.J. ; Zantema, H. / Prefix iteration in basic process algebra : applying termination techniques. Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995). editor / A.J. Ponse ; C. Verhoef ; S.F.M. Vlijmen, van. Eindhoven : Technische Universiteit Eindhoven, 1995. pp. 139-156 (Computing Science Reports).

@inproceedings{30bd4750fb22423a9a43fc14ed23e93f,

title = "Prefix iteration in basic process algebra : applying termination techniques",

author = "W.J. Fokkink and H. Zantema",

year = "1995",

language = "English",

series = "Computing Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "139--156",

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, April 1995)",

}

Prefix iteration in basic process algebra : applying termination techniques. / Fokkink, W.J.; Zantema, H.

Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995). ed. / A.J. Ponse; C. Verhoef; S.F.M. Vlijmen, van. Eindhoven : Technische Universiteit Eindhoven, 1995. p. 139-156 (Computing Science Reports; Vol. 95-14).

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

TY - GEN

T1 - Prefix iteration in basic process algebra : applying termination techniques

AU - Fokkink, W.J.

AU - Zantema, H.

PY - 1995

Y1 - 1995

M3 - Conference contribution

T3 - Computing Science Reports

SP - 139

EP - 156

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

A2 - Ponse, A.J.

A2 - Verhoef, C.

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

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -