We stand with Ukraine  

Gerardo Costa

Affiliations:
  • University of Genoa, Italy


According to our database1, Gerardo Costa authored at least 14 papers between 1973 and 1997.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1997
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.
[BibTeX]
[DOI]
Gerardo Costa
,
Gianna Reggio
Theor. Comput. Sci., 1997

1991
Abstract Dynamic Data Types: A Temporal Logic Approach.
[BibTeX]
[DOI]
Gerardo Costa
,
Gianna Reggio
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1987
Weak and Strong Fairness in CCS
[BibTeX]
[DOI]
Gerardo Costa
,
Colin Stirling
Inf. Comput., June, 1987

1985
A Metric Characterization of Fair Computations in CCS.
[BibTeX]
[DOI]
Gerardo Costa
Proceedings of the Mathematical Foundations of Software Development, 1985

1984
Distributive Semantics for Nondeterministic Typed lambda-Calculi.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
Theor. Comput. Sci., 1984

A Fair Calculus of Communicating Systems.
[BibTeX]
[DOI]
Gerardo Costa
,
Colin Stirling
Acta Informatica, 1984

1983
The Insensitivity Theorem for Nonreducing Reflexive Types.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
J. Comput. Syst. Sci., 1983

1981
Reducing Types in Applicative Languages with Structured Data.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
Proceedings of the Formalization of Programming Concepts, 1981

1980
Nondeterminism and Fully Abstract Models.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
RAIRO Theor. Informatics Appl., 1980

Languages with Reducing Reflective Types.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
Proceedings of the Automata, 1980

Delayed evaluation trees and their application to sementics.
[BibTeX]
Egidio Astesiano
,
Gerardo Costa
Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

Delayed evaluation trees and their application to sementics (Additif).
[BibTeX]
Egidio Astesiano
,
Gerardo Costa
Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979
Sharing in Nondeterminism.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
Proceedings of the Automata, 1979

1973
Algebraic Automata and Optimal Solutions in Pattern Recognition.
[BibTeX]
[DOI]
Egidio Astesiano
,
Gerardo Costa
Proceedings of the 5th Conference on Optimization Techniques, 1973


  Loading...