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
[1]
Hilfe
Suche: Author="Boudol, G{\'e}rard"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Typing termination in a higher-order concurrent imperative language
Gérard Boudol
Information and Computation
208
(6), 2010, pp. 716-736
On strong normalization and type inference in the intersection type discipline
Gérard Boudol
Theoretical Computer Science
398
(1-3), 2008, pp. 63-81
Shared-variable concurrency: A proposal
Gérard Boudol
Lecture Notes in Computer Science
4337
, 2006, pp. 1-3
Noninterference for concurrent programs
Gérard Boudol
,
Ilaria Castellani
Lecture Notes in Computer Science
2076
, 2001, pp. 382-395
The discriminating power of multiplicities in the
\lambda
-calculus
Gérard Boudol
,
Cosimo Laneve
Information and Computation
126
(1), 1996, pp. 83-102
Flow models of distributed computations: Three equivalent semantics for CCS
Gérard Boudol
,
Ilaria Castellani
Information and Computation
114
(2), 1994, November, pp. 247-314
Lambda-calculi for (strict) parallel functions
Gérard Boudol
Information and Computation
108
(1), 1994, January, pp. 51-127
The chemical abstract machine
Gérard Berry
,
Gérard Boudol
Theoretical Computer Science
96
, 1992, pp. 217-248
Graphical versus logical specifications
Gérard Boudol
,
Kim G. Larsen
Theoretical Computer Science
106
, 1992, pp. 3-20
Petri nets and algebraic calculi of processes
Gérard Boudol
,
Gérard Roucairol
,
Robert de Simone
Lecture Notes in Computer Science
182
, 1985, pp. 59-70