Jitka Stríbrná

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Jitka Stríbrná, Ivana Cerná
Modifications of Expansion Trees for Weak Bisimulation in BPA. INFINITY (2002)
Jiri Barnat, Lubos Brim, Jitka Stríbrná
Distributed LTL Model-Checking in SPIN. SPIN (2001)
Jitka Stríbrná, Insup Lee
Characterizing Non-Zenoness on Real-Time Processes. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Jitka Stríbrná
Approximating Weak Bisimulation on Basic Process Algebras. MFCS (1999)
Jitka Stríbrná
Hardness results for weak bisimilarity of simple process algebras. Electron. Notes Theor. Comput. Sci. 18 (1998)
Jitka Stríbrná
Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem. INFINITY (1997)