Jitka Stríbrná

According to our database, Jitka Stríbrná authored at least 6 papers between 1997 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Modifications of Expansion Trees for Weak Bisimulation in BPA.

Jitka Stríbrná, Ivana Cerná

Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), 2002

2001

Characterizing Non-Zenoness on Real-Time Processes.

Jitka Stríbrná, Insup Lee

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Distributed LTL Model-Checking in SPIN.

Jiri Barnat, Lubos Brim, Jitka Stríbrná

Proceedings of the Model Checking Software, 2001

1999

Approximating Weak Bisimulation on Basic Process Algebras.

Jitka Stríbrná

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1998

Hardness results for weak bisimilarity of simple process algebras.

Jitka Stríbrná

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem.

Jitka Stríbrná

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997