Concrete Process Categories. - Krzysztof Worytkiewicz (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

Paths and Simulations. - Krzysztof Worytkiewicz (CTCS, 2002)

A Verification Methodology for Infinite-State Message Passing Systems. - Christoph Sprenger 001; Krzysztof Worytkiewicz (MEMOCODE, 2003)

Simulations as Homotopies. - Kathryn Hess; Paul-Eugène Parent; Andrew Tonks; Krzysztof Worytkiewicz (CMCIM/GETCO@CONCUR, 2003)

Synchronization from a Categorical Perspective - Krzysztof Worytkiewicz (CoRR, 2004)

Bisimulations of enrichments - Vincent Schmitt; Krzysztof Worytkiewicz (CoRR, 2006)