Environmental Bisimulations for Probabilistic Higher-order Languages.

Autor: SANGIORGI, DAVIDE1 davide.sangiorgi@unibo.it, VIGNUDELLI, VALERIA2 valeria.vignudelli@ens-lyon.fr
Zdroj: ACM Transactions on Programming Languages & Systems. Oct2019, Vol. 41 Issue 4, p1-64. 64p.
Databáze: Business Source Ultimate