Domain equations for probabilistic processes
C. Baier, M. Kwiatkowska
págs. 665-718
Linear types and approximation
M. Huth, A. Jung, K. Keimel
págs. 719-745
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: