@inproceedings{mostrous_yoshida_tlca07,
  author = {Dimitris Mostrous and Nobuko Yoshida},
  series = {LNCS},
  booktitle = {TLCA'07},
   title = {Two Session Typing Systems for Higher-Order Mobile Processes},
  publisher = {Springer},
volume = 4583,
pages = {321-335},
  year = {2007}
}