Conceptio › Archive › HAL (France)
HAL (France)open access

A proof system for upper and lower bounds in Probabilistic GKAT

Patrick Baillot et al.
HAL (France) · Papers · License: Open Access
Open Source ↗
Logic and verification, Algebraic semantics, Probabilistic programs, Kleene algebra with tests, 0
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 427425
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.