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