@article{RajaS04,
  title = {Type Systems for Concurrent Programming Calculi},
  author = {N. Raja and R. K. Shyamasundar},
  year = {2004},
  url = {http://ai.ijs.si/informatica/vols/vol28_1_04abs.html#12},
  tags = {type system, programming},
  researchr = {https://researchr.org/publication/RajaS04},
  cites = {0},
  citedby = {0},
  journal = {Informatica (Slovenia)},
  volume = {28},
  number = {1},
  pages = {103-113},
}