Holger Naundorf
- Strictly Causal Functions Have a Unique Fixed Point
(GnuZip(.ps), 70618 Byte, Author: Holger Naundorf, 27.05.1999)
A refined version of this article will appear in
Theoretical Computer Science B in spring 2000.
- Ein denotationales Modell für parallele objektbasierte Systeme
(GnuZip(.ps), 416773 Byte, Author: Holger Naundorf, 07.12.1995)
GMobS, a new hierachical general model for object based systems is described (PhD-Thesis, german language).
- A general Model for object-based Systems
(GnuZip(.ps), 79227 Byte, Author: Holger Naundorf, 06.07.1995)
GMobS, a new hierachical general model for object based systems is described. It was presented on the workshop on
"Object-Oriented Programming and Models of Concurrency"
within the 16th International Conference on Application and Theory of Petri Nets.
previous
next
Anmerkungen/Anregungen bitte an
webmaster@math.uni-paderborn.de
Datum : 16.07.01