Risultati della ricerca - Kozen, Dexter

Multisets and Distributions di Kozen, Dexter, Silva, Alexandra

Testo

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism di Ong, Shawn, Kozen, Dexter

Testo

Joint Distributions in Probabilistic Semantics di Kozen, Dexter, Silva, Alexandra, Voogd, Erik

Testo

A cyclic proof system for Guarded Kleene Algebra with Tests (full version) di Rooduijn, Jan, Kozen, Dexter, Silva, Alexandra

Testo

Probability and Angelic Nondeterminism with Multiset Semantics di Ong, Shawn, Ma, Stephanie, Kozen, Dexter

Testo

A Demonic Outcome Logic for Randomized Nondeterminism di Zilberstein, Noam, Kozen, Dexter, Silva, Alexandra, Tassarotti, Joseph

Testo

StacKAT: Infinite State Network Verification di Jacobs, Jules, Foster, Nate, Kappé, Tobias, Kozen, Dexter, Saada, Lily, Silva, Alexandra, Wagemaker, Jana

Testo