Coalgebraic tools for randomness-conserving protocols

DOI10.1007/978-3-030-02149-8_18OpenAlexW2963948005MaRDI QIDQ5915547

Dexter Kozen, Matvey Soloviev

Publication date: 8 November 2018

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.02735

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Coalgebraic tools for randomness-conserving protocols