Krzysztof Worytkiewicz

Publication Activity (10 Years)

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

Publications

Vincent Schmitt, Krzysztof Worytkiewicz
Bisimulations of enrichments CoRR (2006)
Krzysztof Worytkiewicz
Synchronization from a Categorical Perspective CoRR (2004)
Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz
Simulations as Homotopies. Electron. Notes Theor. Comput. Sci. 100 (2004)
Christoph Sprenger, Krzysztof Worytkiewicz
A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE (2003)
Krzysztof Worytkiewicz
Concrete Process Categories. Electron. Notes Theor. Comput. Sci. 68 (1) (2002)
Krzysztof Worytkiewicz
Paths and Simulations. CTCS (2002)