Publications of in 1999

Barbara König. Description and verification of mobile processes with graph rewriting techniques. PhD thesis, Technische Universität München, 1999.
GZipped PostScript (614 kB)
PDF (1 MB)
Barbara König. Generating type systems for process graphs. In Proc. of CONCUR '99, pages 352–367. Springer-Verlag, 1999. LNCS 1664.
GZipped PostScript (193 kB)
PDF (202 kB)
© University of Duisburg-Essen, Theoretical Computer Science group