Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja. Abstract Hidden Markov Models: a monadic account of quantitative information flow. Logical Methods in Computer Science, 15(1), 2019. [doi]
@article{McIverMR19,
title = {Abstract Hidden Markov Models: a monadic account of quantitative information flow},
author = {Annabelle McIver and Carroll Morgan and Tahiry M. Rabehaja},
year = {2019},
doi = {10.23638/LMCS-15(1:36)2019},
url = {https://doi.org/10.23638/LMCS-15(1:36)2019},
researchr = {https://researchr.org/publication/McIverMR19},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {15},
number = {1},
}