. . "Deng" . "Mobility"@en . "8a302a39db8ad8487051174e56112cf3" . "Mobilit\u00E9"@fr . "Probabilit\u00E9"@fr . "Axiomatisations"@fr . "Yuxin" . "Probability"@en . "Processus"@fr . "Types"@fr . "Yuxin Deng" . . "Processes"@en .