#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1989

2004

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Ugo Solitro
- Theor. Comput. Sci.
- 1989

- Ugo Solitro, Silvio Valentini
- Math. Log. Q.
- 1993

- Francisco Miraglia, Ugo Solitro
- Logic Journal of the IGPL
- 1998

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)

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)

- Ugo Solitro
- 2004

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)

- Ugo Solitro
- 2000

- Corrado Priami, Ugo Solitro
- WFLP
- 2000

- ‹
- 1
- ›