#### Filter Results:

- Full text PDF available (28)

#### Publication Year

2005

2016

- This year (0)
- Last 5 years (11)
- Last 10 years (27)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Marco Giunti, Vasco Thudichum Vasconcelos
- CONCUR
- 2010

We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times. We equip types with a constructor that denotes the two ends of a same communication channel. In order to assess the… (More)

Dynamical systems are mathematical structures whose aim is to describe the evolution of an arbitrary deterministic system through time, which is typically modeled as (a subset of) the integers or the real numbers. We show that it is possible to generalize the standard notion of a dynamical system, so that its time dimension is only required to possess the… (More)

- Marco Giunti, Vasco Thudichum Vasconcelos
- Mathematical Structures in Computer Science
- 2016

We present a reconstruction of session types in a conventional pi calculus. Our session types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times; afterwards they evolve to unrestricted channels. We equip types with a constructor that describes the two ends of… (More)

- Michele Bugliesi, Marco Giunti
- POPL
- 2007

The challenges hidden in the implementation of high-level process calculi into low-level environments are well understood [3]. This paper develops a secure implementation of a typed pi calculus, in which capability types are employed to realize the policies for the access to communication channels. Our implementation compiles high-level processes of the… (More)

- Marco Giunti
- WWV
- 2011

We present a type checking algorithm for establishing a session-based discipline in the pi calculus of Milner, Parrow and Walker. Our session types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times; afterwards they evolve as unrestricted channels. Session… (More)

- Alessandro Antonelli, Clodoveo Ferri, +10 authors Ele Ferrannini
- The American journal of gastroenterology
- 2008

OBJECTIVES
No study has evaluated circulating CXCL10 in patients with mixed cryoglobulinemia (MC) and hepatitis C virus (HCV) chronic infection. The aim of this study is to measure inteferon-inducible protein 10 (CXCL10/IP-10), interferon-gamma (IFN-gamma), and tumor necrosis factor alpha (TNF-alpha) (Th1 cytokines) in a series of cryoglobulinemic patients… (More)

Introduction. In [7] we have introduced an extension of the first session typing system [10] that allows higher-order session communication. In the new system, the reduction rule for session passing

- Clodoveo Ferri, Alessandro Antonelli, +6 authors Anna Linda Zignego
- Autoimmunity reviews
- 2007

Mixed cryoglobulinemia (MC) is a systemic small-vessel vasculitis; B-cell expansion is the biological substrate of the disease. It can be regarded as benign lymphoproliferative condition that may evolve to frank lymphoma. HCV infection is the main causative factor of MC, as well as of other overlapping disorders, through multifactorial and multistep… (More)

- Michele Bugliesi, Marco Giunti
- TGC
- 2005

- Marco Giunti
- J. Log. Algebr. Program.
- 2013

We present a type checking algorithm for establishing a session-based discipline in a π-calculus with name matching. We account for analyzing processes exhibiting different behaviours in the branches of the if-then-else by imposing an affine discipline for session types. This permits to obtain type-safety or absence of communication errors while accepting… (More)