Krzysztof Worytkiewicz

According to our database, Krzysztof Worytkiewicz authored at least 6 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Bisimulations of enrichments

Vincent Schmitt, Krzysztof Worytkiewicz

CoRR, 2006

2004

Synchronization from a Categorical Perspective

Krzysztof Worytkiewicz

CoRR, 2004

2003

Simulations as Homotopies.

Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

A Verification Methodology for Infinite-State Message Passing Systems.

Christoph Sprenger, Krzysztof Worytkiewicz

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

2002

Paths and Simulations.

Krzysztof Worytkiewicz

Proceedings of the Category Theory and Computer Science, 2002

Concrete Process Categories.

Krzysztof Worytkiewicz

Proceedings of the Categorical Methods for Concurrency, 2002