The DAG, directed graph, or time based DAG question is quite interesting. It seems to me though that time is so interwoven with causality that it is superfluous to include it. Hence, at a glance, I would argue for normal Directed graphs (allowing cycles) with the implicit understanding that following edges means time increases