Wojciech Rozowski


AuthID: R-00K-TYJ

Publications Requiring Validation

1
TITLE: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTHORS: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2305.01755
INDEXED IN: DBLP
2
TITLE: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTHORS: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, VOLUME: 261
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service