Wojciech Rozowski

According to our database, Wojciech Rozowski authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Completeness Theorem for Probabilistic Regular Expressions.

Wojciech Rozowski, Alexandra Silva

CoRR, 2023

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.

Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Processes Parametrised by an Algebraic Theory.

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022