A coinductive calculus of component connectors

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	35-56
Journal	Lecture Notes in Computer Science
Volume	2755
Publication status	Published - 2003

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

Persistent URL (handle)

@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",

}

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

SN - 0302-9743

VL - 2755

SP - 35

EP - 56

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -