P. Garralda

Under consideration for publication in Math. Struct. in Comp. Science Boxed Ambients with Communication Interfaces † (2006)

Pablo Garralda, Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, P. Garralda, E. Bonelli, ...

an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed communication policy determining the kind of information that can be exchanged with a...