@misc{indiciae53380638d8aa,
  title = {Propositional Dynamic Logic for Message-Passing Systems},
  author = {Benedikt Bollig and Dietrich Kuske and Ingmar Meinecke},
  year = {2010},
  doi = {10.2168/lmcs-6(3:16)2010},
  url = {https://arxiv.org/abs/1007.4764},
  note = {Source identifier: 1007.4764}
}