Travelled to:
1 × Austria
Collaborated with:
E.Astesiano ∅
Talks about:
nondetermin (1) character (1) reflect (1) languag (1) metric (1) comput (1) share (1) reduc (1) type (1) fair (1)
Person: Gerardo Costa
DBLP: Costa:Gerardo
Contributed to:
Wrote 3 papers:
- ICALP-1980-AstesianoC
- Languages with Reducing Reflective Types (EA, GC), pp. 38–50.
- ICALP-1979-AstesianoC #nondeterminism
- Sharing in Nondeterminism (EA, GC), pp. 1–15.
- CAAP-1985-Costa #metric
- A Metric Characterization of Fair Computations in CCS (GC), pp. 239–252.