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 |
Externí odkaz: |