FGUC 2004 Preliminary Version Typechecking Safe Process Synchronization Abstract (2008)
Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
Session types describe the interactions between two parties within multi-party communications. They constitute a communication protocol in the sense that the order and type of interactions between...
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...
Multisession session types for a distributed calculus (2007)
Eduardo Bonelli, Adriana Compagnoni
Abstract. Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a number...
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...
Correspondence assertions for process synchronization in concurrent communications (2005)
Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page.
A typed assembly language for non-interference (2005)
Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The challenge of studying...
Correspondence assertions for process synchronization in concurrent communications (2005)
Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
High-level specification of patterns of communications such as protocols can be modeled elegantly by means of session types [HVK98]. However, a number of examples suggest that session types fall...
Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli, La Plata (argentina
Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The challenge of studying...
A typed assembly language for non-interference (2005)
Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The challenge of studying...
Pablo Garralda, Eduardo Bonelli, Adriana Compagnoni
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed communication policy...
Information flow analysis for a typed assembly language with polymorphic stacks (2005)
Eduardo Bonelli, Adriana Compagnoni, Ricardo Medel
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system by proving...
Information flow analysis for a typed assembly language with polymorphic stacks (2005)
Eduardo Bonelli, Adriana Compagnoni, Ricardo Medel
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system by proving...
de Bruijn Indices for Metaterms (2005)
Bonelli, Eduardo, Kesner, Delia, Rios, Alejandro
In this paper we encode higher-order rewriting with names into higher-order rewriting in de Bruijn notation. This notation not only is defined for terms (as usually done in the literature) but also...
Relating Higher-order and First-order Rewriting (2005)
Bonelli, Eduardo, Kesner, Delia, Rios, Alejandro
We define a formal encoding from higher-order rewriting into first-order rewriting modulo an equational theory ℰ. In particular, we obtain a characterization of the class of higher-order...
Typechecking Safe Process Synchronization (2004)
Bonelli, Eduardo, Compagnoni, Adriana, Gunter, Elsa
Session types describe the interactions between two parties within multi-party communications. They constitute a communication protocol in the sense that the order and type of interactions between...
Correspondence Assertions for Process Synchronization in Concurrent Communications (2004)
Bonelli, Eduardo, Compagnoni, Adriana, Gunter, Elsa
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...
Boxed Ambients with Communication Interfaces (2004)
Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, Pablo Garralda
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus allowing a liberal communication policy. Each ambient carries its local view of the topic of conversation (the type...
Boxed Ambients with Communication Interfaces (2004)
Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, Pablo Garralda
Abstract. We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus allowing a liberal communication policy. Each ambient carries its local view of the topic of conversation...
Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter, Eduardo Bonelli, Elsa Gunter, Adriana Compagnoni
Session types describe the interactions between two parties within multi-party communications. They constitute a communication protocol in the sense that the order and type of interactions between...
Correspondence Assertions for Process Synchronization in Concurrent Communications (2003)
Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
High-level speci cation of patterns of communications such as protocols can be modeled elegantly by means of session types [14]. However, a number of examples suggest that session types fall short...
From higher-order to first-order rewriting (2001)
Abstract. We show how higher-order rewriting may be encoded into first-order rewriting modulo an equational theory E. We obtain a characterization of the class of higher-order rewriting systems which...
A de Bruijn notation for higher-order rewriting (2000)
Abstract. We propose a formalism for higher-order rewriting in de Bruijn notation. This notation not only is used for terms (as usually done in the literature) but also for metaterms, which are the...
A de Bruijn notation for higher-order rewriting (2000)
Abstract. We propose a formalism for higher-order rewriting in de Bruijn notation. This notation not only is used for terms (as usually done in the literature) but also for metaterms, which are the...