|
Search the dblp DataBase
Gerardo Costa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gerardo Costa, Colin Stirling
A Fair Calculus of Communicating Systems. [Citation Graph (0, 0)][DBLP] FCT, 1983, pp:94-105 [Conf]
- Egidio Astesiano, Gerardo Costa
Sharing in Nondeterminism. [Citation Graph (0, 0)][DBLP] ICALP, 1979, pp:1-15 [Conf]
- Egidio Astesiano, Gerardo Costa
Languages with Reducing Reflective Types. [Citation Graph (0, 0)][DBLP] ICALP, 1980, pp:38-50 [Conf]
- Egidio Astesiano, Gerardo Costa
Reducing Types in Applicative Languages with Structured Data. [Citation Graph (0, 0)][DBLP] ICFPC, 1981, pp:210-217 [Conf]
- Egidio Astesiano, Gerardo Costa
Algebraic Automata and Optimal Solutions in Pattern Recognition. [Citation Graph (0, 0)][DBLP] Optimization Techniques, 1973, pp:206-217 [Conf]
- Gerardo Costa, Gianna Reggio
Abstract Dynamic Data Types: A Temporal Logic Approach. [Citation Graph (0, 0)][DBLP] MFCS, 1991, pp:103-112 [Conf]
- Gerardo Costa, Colin Stirling
Weak and Strong Fairness in CCS. [Citation Graph (0, 0)][DBLP] MFCS, 1984, pp:245-254 [Conf]
- Gerardo Costa
A Metric Characterization of Fair Computations in CCS. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1985, pp:239-252 [Conf]
- Gerardo Costa, Colin Stirling
A Fair Calculus of Communicating Systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 1984, v:21, n:, pp:417-441 [Journal]
- Gerardo Costa, Colin Stirling
Weak and Strong Fairness in CCS [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:73, n:3, pp:207-244 [Journal]
- Egidio Astesiano, Gerardo Costa
Nondeterminism and Fully Abstract Models. [Citation Graph (0, 0)][DBLP] ITA, 1980, v:14, n:4, pp:323-347 [Journal]
- Egidio Astesiano, Gerardo Costa
The Insensitivity Theorem for Nonreducing Reflexive Types. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1983, v:27, n:3, pp:389-399 [Journal]
- Egidio Astesiano, Gerardo Costa
Distributive Semantics for Nondeterministic Typed lambda-Calculi. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:32, n:, pp:121-156 [Journal]
- Gerardo Costa, Gianna Reggio
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:173, n:2, pp:513-554 [Journal]
Delayed evaluation trees and their application to sementics. [Citation Graph (, )][DBLP]
Delayed evaluation trees and their application to sementics (Additif). [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|