Modelling concurrency with comtraces and generalized comtraces

Ryszard Janicki, Dai Tri Man Le. Modelling concurrency with comtraces and generalized comtraces. Inf. Comput., 209(11):1355-1389, 2011. [doi]

Abstract

Abstract is missing.