Article Dans Une Revue
Logical Methods in Computer Science
Année : 2017
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01906639
Soumis le : samedi 27 octobre 2018-11:11:10
Dernière modification le : mardi 17 février 2026-15:38:02
Dates et versions
Identifiants
- HAL Id : hal-01906639 , version 1
- ARXIV : 1704.08540
- DOI : 10.23638/LMCS-13(2:8)2017
Citer
Stéphanie Delaune, David Baelde, Lucca Hirschi. A Reduced Semantics for Deciding Trace Equivalence. Logical Methods in Computer Science, 2017, 13 (2), pp.1-48. ⟨10.23638/LMCS-13(2:8)2017⟩. ⟨hal-01906639⟩
Collections
418
Consultations
0
Téléchargements