@ARTICLE{
author={Di Gianantonio Pietro,Jaksic Svetlana,Lenisa Marina},
year={2010},
title={Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus},
journal={CONCUR 2010 - CONCURRENCY THEORY},
volume={6269},
number={},
pages={358-+},
document_type={Proceedings Paper},
}