A coinductive calculus of component connectors

F. Arbab, J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)35-56
JournalLecture Notes in Computer Science
Volume2755
Publication statusPublished - 2003

Bibliographical note

AR03
Proceedings title: Proceedings of WADT 2002
Publisher: Springer
Editors: M. Wirsing, D. Pattinson, R. Hennicker

Cite this

Arbab, F., & Rutten, J. J. M. M. (2003). A coinductive calculus of component connectors. Lecture Notes in Computer Science, 2755, 35-56.
Arbab, F. ; Rutten, J.J.M.M. / A coinductive calculus of component connectors. In: Lecture Notes in Computer Science. 2003 ; Vol. 2755. pp. 35-56.
@article{909228a479b74711b796020fbf6caf26,
title = "A coinductive calculus of component connectors",
author = "F. Arbab and J.J.M.M. Rutten",
note = "AR03 Proceedings title: Proceedings of WADT 2002 Publisher: Springer Editors: M. Wirsing, D. Pattinson, R. Hennicker",
year = "2003",
language = "English",
volume = "2755",
pages = "35--56",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Arbab, F & Rutten, JJMM 2003, 'A coinductive calculus of component connectors' Lecture Notes in Computer Science, vol. 2755, pp. 35-56.

A coinductive calculus of component connectors. / Arbab, F.; Rutten, J.J.M.M.

In: Lecture Notes in Computer Science, Vol. 2755, 2003, p. 35-56.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - A coinductive calculus of component connectors

AU - Arbab, F.

AU - Rutten, J.J.M.M.

N1 - AR03 Proceedings title: Proceedings of WADT 2002 Publisher: Springer Editors: M. Wirsing, D. Pattinson, R. Hennicker

PY - 2003

Y1 - 2003

M3 - Article

VL - 2755

SP - 35

EP - 56

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -