Article Dans Une Revue
Journal of Logic and Algebraic Programming
Année : 2010
Daniel Hirschkoff : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00798788
Soumis le : dimanche 10 mars 2013-17:24:02
Dernière modification le : jeudi 14 décembre 2023-13:56:06
Citer
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in higher-order concurrent calculi. Journal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩. ⟨hal-00798788⟩
135
Consultations
0
Téléchargements