by Antonín Kučera, Accepted to the 8th International Conference on Concurrency Theory (CONCUR`97). December 1996, 24 pages.
FIMU-RS-96-05. Abstract, Postscript, PDF.
by Pavel Smrž, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. Abstract, Postscript, PDF.
by Ivana Černá, Mojmír Křetínský, Antonín Kučera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. Abstract, Postscript, PDF.
by Antonín Kučera, This paper is going to be presented at FST&TCS`96 conference, LNCS 1180, Springer-Verlag. February 1996, 17 pages.
FIMU-RS-96-01. Abstract, Postscript, PDF.