Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation.

Pedro R. D'Argenio, Matias David Lee

Browse the full FOSSACS paper archive.