Ugo Solitro

Learn More
1 Introduction Many process calculi have been proposed in the literature in the last years to address the description of distributed and communicating systems. Various mechanisms of interaction between processes have been devised as basic 8, 9, 12, 10, 5, 4]. We resort in this paper to an interaction mechanism inspired to the computational behaviour of(More)
We present a discussion of sheaves and presheaves over a right sided idempotent quantale in a fashion that is similar to the way that these objects are conceivedover complete Heyting algebras by Fourman and Scott in 5]. The idea of a quantale originated with C.J.Mulvey ((6]) as an attempt to code a lattice theoretic construct that might be appropriate to(More)
In this work we describe a simple calculus (called interaction calculus or * Calculus) for the representation of concurrent systems. In this a system is collection of expressions (processes) that share a working space; their computational behaviour is determined by the interaction of processes. The calculus is an attempt to describe concurrent systems by(More)
This work deals with the exponential fragment of Girard's linear logic [Gir87] without the contraction rule. This logical system has a natural relation with the direct logic [OnKo85],[KeWe]. A new sequent calculus for this logic is presented in order to remove also the weakening rule and recover its behavior via a special treatment of the propositional(More)
  • 1