Gerardo Costa

16 papers A* 2B 3Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
1997 J jnl
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.
Theor. Comput. Sci.
Gerardo Costa, Gianna Reggio
1991 B conf
Abstract Dynamic Data Types: A Temporal Logic Approach.
MFCS
Gerardo Costa, Gianna Reggio
1987 J jnl
Weak and Strong Fairness in CCS
Inf. Comput.
Gerardo Costa, Colin Stirling
1985 — conf
A Metric Characterization of Fair Computations in CCS.
TAPSOFT, Vol.1
Gerardo Costa
1984 J jnl
A Fair Calculus of Communicating Systems.
Acta Informatica
Gerardo Costa, Colin Stirling
1984 J jnl
Distributive Semantics for Nondeterministic Typed lambda-Calculi.
Theor. Comput. Sci.
Egidio Astesiano, Gerardo Costa
1984 B conf
Weak and Strong Fairness in CCS.
MFCS
Gerardo Costa, Colin Stirling
1983 B conf
A Fair Calculus of Communicating Systems.
FCT
Gerardo Costa, Colin Stirling
1983 J jnl
The Insensitivity Theorem for Nonreducing Reflexive Types.
J. Comput. Syst. Sci.
Egidio Astesiano, Gerardo Costa
1981 — conf
Reducing Types in Applicative Languages with Structured Data.
ICFPC
Egidio Astesiano, Gerardo Costa
1980 — conf
Delayed evaluation trees and their application to sementics (Additif).
CLAAP
Egidio Astesiano, Gerardo Costa
1980 — conf
Delayed evaluation trees and their application to sementics.
CLAAP
Egidio Astesiano, Gerardo Costa
1980 A* conf
Languages with Reducing Reflective Types.
ICALP
Egidio Astesiano, Gerardo Costa
1980 J jnl
Nondeterminism and Fully Abstract Models.
RAIRO Theor. Informatics Appl.
Egidio Astesiano, Gerardo Costa
1979 A* conf
Sharing in Nondeterminism.
ICALP
Egidio Astesiano, Gerardo Costa
1973 — conf
Algebraic Automata and Optimal Solutions in Pattern Recognition.
Optimization Techniques
Egidio Astesiano, Gerardo Costa