Piotr Chrzastowski-Wachtel, Marek Raczunas. Orbits, half-frozen tokens and the liveness of weighted circuits. In Jörg Desel, editor, Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, pages 116-128, Springer, 1995. [doi]
Abstract is missing.