TY - RPRT TI - Modelling Concurrency with Comtraces and Generalized Comtraces AU - Ryszard Janicki AU - Dai Tri Man Le PY - 2011 DO - 10.1016/j.ic.2011.08.001 UR - https://arxiv.org/abs/0907.1722 ID - 0907.1722 ER -