Co-Algebraic Semantic Framework for Reasoning about Interaction Designs

Sun Meng, Luís Soares Barbosa. Co-Algebraic Semantic Framework for Reasoning about Interaction Designs. In Kevin Lano, editor, UML 2 Semantics and Applications. pages 249-280, Wiley, 2009. [doi]

Abstract

Abstract is missing.