Paolo Di Blasio

According to our database, Paolo Di Blasio authored at least 4 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

A Control-Flow Analysis for a Calculus of Concurrent Objects.

Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott

IEEE Trans. Software Eng., 2000

1996

A Calculus for Concurrent Objects.

Paolo Di Blasio, Kathleen Fisher

Proceedings of the CONCUR '96, 1996

1995

Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems.

Paolo Di Blasio, Marco Temperini

J. Symb. Comput., 1995

1993

Subtyping Inheritance in Languages for Symbolic Computation Systems.

Paolo Di Blasio, Marco Temperini

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993