# Gerardo Costa

According to our database

^{1}, Gerardo Costa## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

1997

Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach.

Theor. Comput. Sci., 1997

1991

Abstract Dynamic Data Types: A Temporal Logic Approach.

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1987

Weak and Strong Fairness in CCS

Inf. Comput., June, 1987

1985

A Metric Characterization of Fair Computations in CCS.

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Distributive Semantics for Nondeterministic Typed lambda-Calculi.

Theor. Comput. Sci., 1984

A Fair Calculus of Communicating Systems.

Acta Inf., 1984

Weak and Strong Fairness in CCS.

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983

The Insensitivity Theorem for Nonreducing Reflexive Types.

J. Comput. Syst. Sci., 1983

A Fair Calculus of Communicating Systems.

Proceedings of the Fundamentals of Computation Theory, 1983

1981

Reducing Types in Applicative Languages with Structured Data.

Proceedings of the Formalization of Programming Concepts, 1981

1980

Nondeterminism and Fully Abstract Models.

ITA, 1980

Languages with Reducing Reflective Types.

Proceedings of the Automata, 1980

Delayed evaluation trees and their application to sementics.

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).

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979

Sharing in Nondeterminism.

Proceedings of the Automata, 1979

1973

Algebraic Automata and Optimal Solutions in Pattern Recognition.

Proceedings of the 5th Conference on Optimization Techniques, 1973