Learn More
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)
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)
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)
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)
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)
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)