I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Convergence: Integrating termination and abort-freedom:

Diallo, Nafi ; Ghardallou, Wided ; Desharnais, Jules.
Journal of Logical and Algebraic Methods in Programming.  97 (2018)  - p. 1-29 , 2018
Link: https://doi.org/10.1016/j.jlamp.2018.02.001