F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. In ASIAN'03, number 2896 in LNCS, pages 205--223. Springer-Verlag, December 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) Self-citation (Barbanera Bugliesi Dezani-ciancaglini Sassone) (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A Calculus of Bounded Capacities. In ASIAN'03, Eighth Asian Computing Science Conference, number xxxx in Lecture Notes in Computer Science, pages xx--xx, 2003. To Appear.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. In ASIAN'03, number 2896 in LNCS, pages 205--223. Springer-Verlag, December 2003.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
No context found.
F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. Submitted to a journal. Extendend version of [BBDCS03b], December 2003.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC