Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics.

Daniel Gebler, Wan J. Fokkink

Browse the full CONCUR paper archive.