@InProceedings{mostrous_yoshida_honda_esop09,
author = {Dimitris Mostrous and Nobuko Yoshida},
title = {Session-Based Communication Optimisation for Higher-Order Mobile Processes},
series = {LNCS},
booktitle = {TLCA'09},
year = {2009},
number = {5608},
publisher = {Springer}
}