http://popups.lib.uliege.be/1373-5411/index.php?id=4316 Index terms fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=2678 In graph-based systems there are many methods to compose (possibly different) graphs. However, none of these usual compositions are adequate to naturally express semantics of systems with dynamic topology, i.e., systems whose topology admits successive transformations through its computation. We constructed a categorical semantic domain for graph based systems with dynamic topology using a new way to compose edges of (possible different) graphs. ln this context, sequences of different graphs represent successive transformations of system topology during its computation and the edges composition between those graphs, the semantics of the corresponding dynamic system. Then we show how the proposed approach can be used to give semantics to concurrent anticipatory systems. Fri, 30 Aug 2024 10:23:17 +0200 Thu, 10 Oct 2024 10:52:38 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2678