Architectural Concurrency Equivalence with Chaotic Models

Dionisio de Niz. Architectural Concurrency Equivalence with Chaotic Models. In Ricardo Jorge Machado, João M. Fernandes, Flávio Rech Wagner, Rick Kazman, editors, Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings. pages 57-67, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.