E. Bonelli

Under consideration for publication in J. Functional Programming 1 Correspondence Assertions for Process Synchronization in Concurrent Communications∗ (2008)

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter, E. Bonelli, A. Compagnoni, E. Gunter

High-level specification of patterns of communications such as protocols can be modeled elegantly by means of session types (Honda et al., 1998). However, a number of examples suggest that session...

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...

Ionospheric Bubbles Observed by the Faraday Rotation Method at Natal, Brazil, (2002)

Yeh ,K. C., Soicher ,H., Liu ,C. H., Bonelli,E.