@misc{indiciaefa905fbe5753,
  title = {CCS-Based Dynamic Logics for Communicating Concurrent Programs},
  author = {Mario R. F. Benevides and L. Menasché Schechter},
  year = {2009},
  url = {https://arxiv.org/abs/0904.0034},
  note = {Source identifier: 0904.0034}
}