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]

@article{JanickiL11,
  title = {Modelling concurrency with comtraces and generalized comtraces},
  author = {Ryszard Janicki and Dai Tri Man Le},
  year = {2011},
  doi = {10.1016/j.ic.2011.08.001},
  url = {http://dx.doi.org/10.1016/j.ic.2011.08.001},
  researchr = {https://researchr.org/publication/JanickiL11},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {209},
  number = {11},
  pages = {1355-1389},
}