Citations:comtrace


 * 2009 Ryszard Janicki, Dai Tri Man Le, "Modelling Concurrency with Comtraces and Generalized Comtraces" arXiv
 * Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the "not later than" relationship. In this paper, we first introduce the novel concept of generalized comtraces, extensions of comtraces that can additionally model the "non-simultaneously" relationship.