|
Search the dblp DataBase
Jitka Stríbrná:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jitka Stríbrná
Approximating Weak Bisimulation on Basic Process Algebras. [Citation Graph (0, 0)][DBLP] MFCS, 1999, pp:366-375 [Conf]
- Jiri Barnat, Lubos Brim, Jitka Stríbrná
Distributed LTL Model-Checking in SPIN. [Citation Graph (0, 0)][DBLP] SPIN, 2001, pp:200-216 [Conf]
- Jitka Stríbrná
Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
- Jitka Stríbrná
Hardness results for weak bisimilarity of simple process algebras. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
- Jitka Stríbrná, Ivana Cerná
Modifications of Expansion Trees for Weak Bisimulation in BPA. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:6, pp:- [Journal]
- Jitka Stríbrná, Insup Lee
Characterizing Non-Zenoness on Real-Time Processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
Search in 0.002secs, Finished in 0.002secs
|