A Reduced Semantics for Deciding Trace Equivalence - SYSTÈMES LARGE ÉCHELLE Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2017

A Reduced Semantics for Deciding Trace Equivalence

Domaines

Informatique [cs]

Stéphanie Delaune  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01906639

Soumis le : samedi 27 octobre 2018-11:11:10

Dernière modification le : dimanche 21 janvier 2024-03:39:44

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA ENS-RENNES CENTRALESUPELEC IRISA-D1 INRIA2 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE ANR UR1-MATH-NUM ENS-PARIS-SACLAY
216 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More