 | 1997 |
|---|
| 16 |       | Gerardo Costa,
Gianna Reggio:
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.
Theor. Comput. Sci. 173(2): 513-554 (1997) |
| 1991 |
|---|
| 15 | | Gerardo Costa,
Gianna Reggio:
Abstract Dynamic Data Types: A Temporal Logic Approach.
MFCS 1991: 103-112 |
| 1987 |
|---|
| 14 |  | Gerardo Costa,
Colin Stirling:
Weak and Strong Fairness in CCS
Inf. Comput. 73(3): 207-244 (1987) |
| 1985 |
|---|
| 13 | | Gerardo Costa:
A Metric Characterization of Fair Computations in CCS.
TAPSOFT, Vol.1 1985: 239-252 |
| 1984 |
|---|
| 12 | | Gerardo Costa,
Colin Stirling:
Weak and Strong Fairness in CCS.
MFCS 1984: 245-254 |
| 11 | | Gerardo Costa,
Colin Stirling:
A Fair Calculus of Communicating Systems.
Acta Inf. 21: 417-441 (1984) |
| 10 | | Egidio Astesiano,
Gerardo Costa:
Distributive Semantics for Nondeterministic Typed lambda-Calculi.
Theor. Comput. Sci. 32: 121-156 (1984) |
| 1983 |
|---|
| 9 | | Gerardo Costa,
Colin Stirling:
A Fair Calculus of Communicating Systems.
FCT 1983: 94-105 |
| 8 | | Egidio Astesiano,
Gerardo Costa:
The Insensitivity Theorem for Nonreducing Reflexive Types.
J. Comput. Syst. Sci. 27(3): 389-399 (1983) |
| 1981 |
|---|
| 7 | | Egidio Astesiano,
Gerardo Costa:
Reducing Types in Applicative Languages with Structured Data.
ICFPC 1981: 210-217 |
| 1980 |
|---|
| 6 | | Egidio Astesiano,
Gerardo Costa:
Delayed evaluation trees and their application to sementics.
CLAAP 1980: 110-118 |
| 5 | | Egidio Astesiano,
Gerardo Costa:
Delayed evaluation trees and their application to sementics (Additif).
CLAAP 1980: 199 |
| 4 | | Egidio Astesiano,
Gerardo Costa:
Languages with Reducing Reflective Types.
ICALP 1980: 38-50 |
| 3 | | Egidio Astesiano,
Gerardo Costa:
Nondeterminism and Fully Abstract Models.
ITA 14(4): 323-347 (1980) |
| 1979 |
|---|
| 2 | | Egidio Astesiano,
Gerardo Costa:
Sharing in Nondeterminism.
ICALP 1979: 1-15 |
| 1973 |
|---|
| 1 | | Egidio Astesiano,
Gerardo Costa:
Algebraic Automata and Optimal Solutions in Pattern Recognition.
Optimization Techniques 1973: 206-217 |
