@inproceedings{VP02, author = {M.G. Vigliotti and I.C.C. Phillips}, title = {Barbs and congruences for Safe Mobile Ambients}, booktitle = {Proceedings of F-WAN: Workshop on Foundations of Wide Area Network Computing, Malaga, July 2002}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, volume = 66, number = 3, year = 2002 }