@article{WeidlichDijkmanWeske2012,
  author    = {Matthias Weidlich and Remco Dijkman and Mathias Weske},
  title     = {Behaviour equivalence and compatibility of business process models with complex correspondences},
  journal   = {The computer journal : a publication of the British Computer Society},
  volume    = {55},
  number    = {11},
  pages     = {1398 -- 1418},
  doi       = {10.1093/comjnl/bxs014},
  year      = {2012},
}