Tag Machines for Modeling Heterogeneous Systems

Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay. Tag Machines for Modeling Heterogeneous Systems. In 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013. pages 186-195, IEEE, 2013. [doi]

Abstract

Abstract is missing.