Gerardo Costa

According to our database1, Gerardo Costa
  • authored at least 16 papers between 1973 and 1997.
  • has a "Dijkstra number"2 of four.

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


  Loading...