Orbits, half-frozen tokens and the liveness of weighted circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Piotr Chrzastowski-Wachtel' in GoogleThis author has not been identified. Look up 'Marek Raczunas' in Google

runs on WebDSL