|
Search the dblp DataBase
Krzysztof Worytkiewicz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christoph Sprenger, Krzysztof Worytkiewicz
A Verification Methodology for Infinite-State Message Passing Systems. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2003, pp:255-264 [Conf]
- Krzysztof Worytkiewicz
Synchronization from a Categorical Perspective [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz
Simulations as Homotopies. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:65-93 [Journal]
- Krzysztof Worytkiewicz
Concrete Process Categories. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Krzysztof Worytkiewicz
Paths and Simulations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
- Vincent Schmitt, Krzysztof Worytkiewicz
Bisimulations of enrichments [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.002secs
|