Login / Signup

Raiders of the lost equivalence: Probabilistic branching bisimilarity.

Valentina CastiglioniSimone Tini
Published in: Inf. Process. Lett. (2020)
Keyphrases