Eike Best, Ludmila Cherkasova, Jörg Desel. Compositional Generation of Home States in Free Choice Systems. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings. Volume 480 of Lecture Notes in Computer Science, pages 398-409, Springer, 1991.
Abstract is missing.