Title | Citations | PageRank | Year |
---|---|---|---|
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages | 0 | 0.34 | 2021 |
History-Dependent Nominal μ-Calculus | 0 | 0.34 | 2019 |
Distributive Laws And Decidable Properties Of Sos Specifications | 0 | 0.34 | 2014 |