Components as coalgebras: The refinement dimension

Sun Meng, Luís Soares Barbosa. Components as coalgebras: The refinement dimension. Theoretical Computer Science, 351(2):276-294, 2006. [doi]

Abstract

Abstract is missing.