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="He, Jifeng"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
CSP is a retract of CCS
Jifeng He
,
Tony Hoare
Theoretical Computer Science
411
(11-13), 2010, pp. 1311-1337
A trace model for pointers and objects
C.A.R. Hoare
,
Jifeng He
misc, 1998
Unifying theories for parallel programming
Tony Hoare
,
Jifeng He
Lecture Notes in Computer Science
1300
, 1997, pp. 15-30
Algebraic laws for BSP programming
Jifeng He
,
Quentin Miller
,
Lei Chen
Lecture Notes in Computer Science
1124
, 1996, pp. 359-368
Prespecification in data refinement
C.A.R. Hoare
,
Jifeng He
,
J.W. Sanders
Information Processing Letters
25
(2), 1987, May, pp. 71-76
The weakest prespecification
C.A.R. Hoare
,
Jifeng He
Information Processing Letters
24
(2), 1987, January, pp. 127-132