A coinductive calculus of component connectors (2002)

by F Arbab, J J M M Rutten
Venue:of Lecture Notes in Computer Science