@inproceedings{cec52d902d0b41fc9ea28f3eb3ee2179,
title = "A formal model of SystemC components using fractal hypergraphs",
abstract = "In this paper, we introduce a new mathematical structure: fractal hypergraph. Due to the hierarchical and compositional nature of fractal hypergraphs, representations based on fractal hypergraphs can capture and abstract the object-oriented nature of SystemC. We propose a formal semantics of SystemC components based on fractal hypergraphs that has already be used in a formal debugger of SystemC components.",
keywords = "Formal semantics, Hierarchical models, Hypergraphs, SystemC",
author = "Nicolas Vall{\'e}e and Bruno Monsuez",
year = "2010",
month = dec,
day = "1",
language = "English",
isbn = "9789881701282",
series = "Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010",
pages = "1418--1424",
booktitle = "Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010",
note = "International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010 ; Conference date: 17-03-2010 Through 19-03-2010",
}