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="Verhoef, Chris"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A conservative look at operational semantics with variable binding
Wan Fokkink
,
Chris Verhoef
Information and Computation
146
(1), 1998, pp. 24-54
A general conservative extension theorem in process algebras with inequalities
Pedro R. D'Argenio
,
Chris Verhoef
Theoretical Computer Science
177
(2), 1997, pp. 351-380