Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

1 Résultat
authFullName_s : Erwan Mahe
Image document

Equivalence of denotational and operational semantics for interaction languages

Erwan Mahe , Christophe Gaston , Pascale Le Gall
Lecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩
Journal articles cea-04060492v1