A Reduced Semantics for Deciding Trace Equivalence - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2017

A Reduced Semantics for Deciding Trace Equivalence

(1, 2, 3) , (4, 5) , (4)
1
2
3
4
5
Fichier non déposé

Dates et versions

hal-01906639 , version 1 (27-10-2018)

Identifiants

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⟩
52 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More