@misc{indiciae49f57b6c08bc,
  title = {A Pattern-based deadlock-freedom analysis strategy for concurrent systems},
  author = {Pedro Antonino and Augusto Sampaio and Jim Woodcock},
  year = {2022},
  url = {https://arxiv.org/abs/2207.08854},
  note = {Source identifier: 2207.08854}
}