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
Hilfe
Suche: Author="Astesiano, E."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Labelled transition logic: An outline
E. Astesiano
,
G. Reggio
Acta Informatica
37
(11-12), 2001, pp. 831-879
Generalized bisimulation in relational specifications
E. Astesiano
,
A. Giovini
,
G. Reggio
Lecture Notes in Computer Science
294
, 1988, pp. 207-226
Comparing direct and continuation semantics styles for concurrent languages
E. Astesiano
,
G. Reggio
Lecture Notes in Computer Science
247
, 1987, pp. 311-322
Distributive semantics for nondeterministic typed
\lambda
-calculi
E. Astesiano
,
G. Costa
Theoretical Computer Science
32
(1,2), 1984, pp. 121-156
Parametric channels via label expressions in CCS
E. Astesiano
,
E. Zucca
Theoretical Computer Science
33
(1), 1984, pp. 45-63
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