Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Costa, G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Distributive semantics for nondeterministic typed
\lambda
-calculi
E. Astesiano
,
G. Costa
Theoretical Computer Science
32
(1,2), 1984, pp. 121-156
A fair calculus of communicating systems
G. Costa
,
C. Stirling
Acta Informatica
21
(5), 1984, pp. 417-441
The insensitivity theorem for nonreducing reflexive types
E. Astesiano
,
G. Costa
Journal of Computer and System Sciences
27
(3), 1983, December, pp. 389-399
Languages with reducing reflexive types
E. Astesiano
,
G. Costa
Lecture Notes in Computer Science
85
, 1980, pp. 38-50
Sharing in nondeterminism
E. Astesiano
,
G. Costa
Lecture Notes in Computer Science
71
, 1979, pp. 1-15