| |
| 2000 | ||
|---|---|---|
| 4 | EE | Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott: A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. 26(7): 617-634 (2000) |
| 1996 | ||
| 3 | Paolo Di Blasio, Kathleen Fisher: A Calculus for Concurrent Objects. CONCUR 1996: 655-670 | |
| 1995 | ||
| 2 | Paolo Di Blasio, Marco Temperini: Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems. J. Symb. Comput. 19(1-3): 39-63 (1995) | |
| 1993 | ||
| 1 | Paolo Di Blasio, Marco Temperini: Subtyping Inheritance in Languages for Symbolic Computation Systems. DISCO 1993: 107-121 | |
| 1 | Kathleen Fisher | [3] [4] |
| 2 | Carolyn L. Talcott | [4] |
| 3 | Marco Temperini | [1] [2] |