Gerardo Costa

Publication Activity (10 Years)

Years Active: 1973-1997
Publications (10 Years): 0

Publications

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