A coinductive calculus of component connectors (2003)

by F Arbab, J J M M Rutten
Venue:Recent Trends in Algebraic Development Techniques, Proc. 16th Int’l Workshop on Algebraic Development Techniques (WADT 2002), LNCS 2755