@inproceedings{PV02, author = {I.C.C. Phillips and M.G. Vigliotti}, title = {On reduction semantics for the push and pull ambient calculus}, booktitle = {Proceedings of IFIP International Conference on Theoretical Computer Science ({TCS} 2002), IFIP 17th World Computer Congress, August 2002, Montreal}, publisher = {Kluwer}, pages = {550-562}, year = 2002 }