@misc{indiciaec563f17e4fe4,
  title = {Parameterized Concurrent Multi-Party Session Types},
  author = {Minas Charalambides and Peter Dinges and Gul Agha},
  year = {2012},
  doi = {10.4204/eptcs.91.2},
  url = {https://arxiv.org/abs/1208.4632},
  note = {Source identifier: 1208.4632}
}