![]() | ![]() |
2006 | ||
---|---|---|
6 | EE | Vincent Schmitt, Krzysztof Worytkiewicz: Bisimulations of enrichments CoRR abs/cs/0602077: (2006) |
2004 | ||
5 | EE | Krzysztof Worytkiewicz: Synchronization from a Categorical Perspective CoRR cs.PL/0411001: (2004) |
4 | EE | Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz: Simulations as Homotopies. Electr. Notes Theor. Comput. Sci. 100: 65-93 (2004) |
2003 | ||
3 | EE | Christoph Sprenger, Krzysztof Worytkiewicz: A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE 2003: 255-264 |
2002 | ||
2 | EE | Krzysztof Worytkiewicz: Concrete Process Categories. Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
1 | EE | Krzysztof Worytkiewicz: Paths and Simulations. Electr. Notes Theor. Comput. Sci. 69: (2002) |
1 | Kathryn Hess | [4] |
2 | Paul-Eugène Parent | [4] |
3 | Vincent Schmitt | [6] |
4 | Christoph Sprenger | [3] |
5 | Andrew Tonks | [4] |