Propositional Dynamic Logic for Message-Passing Systems

@inproceedings{Bollig2007PropositionalDL,
  title={Propositional Dynamic Logic for Message-Passing Systems},
  author={Benedikt Bollig and Dietrich Kuske and Ingmar Meinecke},
  booktitle={FSTTCS},
  year={2007}
}