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="Taubner, Dirk"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Iteration theories of synchronization trees
Stephen L. Bloom
,
Zoltán ésik
,
Dirk Taubner
Information and Computation
102
(1), 1993, January, pp. 1-55
A note on the notation of recursion in process algebras
Dirk Taubner
Information Processing Letters
37
, 1991, pp. 299-303
Representing CCS programs by finite predicate/transition nets
Dirk Taubner
Acta Informatica
27
, 1990, pp. 533-565