Michele Bugliesi, Giuseppe Castagna. Behavioural typing for safe ambients. Computer Languages, Systems \& Structures, 28(1):61-99, 2002.
@article{BugliesiC02,
title = {Behavioural typing for safe ambients},
author = {Michele Bugliesi and Giuseppe Castagna},
year = {2002},
researchr = {https://researchr.org/publication/BugliesiC02},
cites = {0},
citedby = {0},
journal = {Computer Languages, Systems \& Structures},
volume = {28},
number = {1},
pages = {61-99},
}