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="Fournet, C{\'{e}}dric"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Secure implementation of channel abstractions
Martín Abadi
,
Cédric Fournet
,
Georges Gonthier
Information and Computation
174
(1), 2002, pp. 37-83
Bisimulations in the join-calculus
Cédric Fournet
,
Cosimo Laneve
Theoretical Computer Science
266
(1-2), 2001, pp. 569-603
An asynchronous, distributed implementation of mobile ambients
Cédric Fournet
,
Jean-Jacques Lévy
,
Alan Schmitt
Lecture Notes in Computer Science
1872
, 2000, pp. 348-364
A top-down look at a secure message
Martín Abadi
,
Cédric Fournet
,
Georges Gonthier
Lecture Notes in Computer Science
1738
, 1999, pp. 122-141
A hierarchy of equivalences for asynchronous calculi
Cédric Fournet
,
Georges Gonthier
Lecture Notes in Computer Science
1443
, 1998, pp. 844-855