A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

Hartmut Ehrig, Fernando Orejas. A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. Electronic Notes in Theoretical Computer Science, 50(3):199-226, 2001. [doi]

Abstract

Abstract is missing.