Boxed ambients with communication interfaces (2007)

by P Garralda, E Bonelli, A Compagnoni, M Dezani-Ciancaglini
Venue:Mathematical Structures in Computer Science