#### Filter Results:

- Full text PDF available (35)

#### Publication Year

1991

2017

- This year (1)
- Last 5 years (9)
- Last 10 years (21)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
- Inf. Comput.
- 2000

We study a timed concurrent constraint language, called tccp, which is obtained by a natural timed interpretation of the usual ccp constructs: action-prefixing is interpreted as the next-time operator and the parallel execution of agents follows the scheduling policy of maximal parallelism. Additionally, tccp includes a simple primitive which allows one to… (More)

- Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
- Theor. Comput. Sci.
- 1994

- Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
- J. Log. Program.
- 1999

Diagnosis Marco Comini a, Giorgio Levi a, Maria Chiara Meo b and Giuliana Vitiello c aDipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy. bDipartimento di Matematica Pura ed Applicata, Università di L’Aquila, via Vetoio, località Coppito, 67010 L’Aquila, Italy. cDipartimento di Informatica ed Applicazioni, Università di… (More)

- Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
- Inf. Comput.
- 1995

- Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
- CAAP
- 1994

In this paper we deene a new compilative version of constructive negation (intensional negation) in CLP and we prove its (non-ground) correctness and completeness wrt the 3-valued completion. We show that intensional negation is essentially equivalent to constructive negation and that it is indeed more eecient, as one would expect from the fact that it is a… (More)

- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
- ACM Trans. Comput. Log.
- 2002

A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a process produces as a reaction to what its environment inputs. These modalities provide an assumption/commitment style of specification which allows a sound and complete compositional… (More)

- Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
- LOMAPS
- 1996

We show how declarative diagnosis techniques can be extended to cope with verification of operational properties, such as computed answers, and of abstract properties, such as types and groundness dependencies. The extension is achieved by using a simple semantic framework, based on abstract interpretation. The resulting technique (abstract diagnosis) leads… (More)

- Marco Comini, Giorgio Levi, Maria Chiara Meo
- Inf. Comput.
- 2001

operations As was the case for Section 7.1 the de nition of the abstract operations<lb>can be computed in terms of the corresponding operations on A ca , which have been already<lb>computed in Section 6.1.<lb>Consider the e operation and let X 0 :=<lb>A , where := f# k j hH; 0i is a renamed apart<lb>(from A) version of hA 0; X(A 0)i, for some A 0 A, # 0 2… (More)