Bisimilarity via unique-solution techniques - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

Bisimilarity via unique-solution techniques

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL] Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
main.pdf (101.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Davide Sangiorgi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01931203

Soumis le : jeudi 22 novembre 2018-15:17:28

Dernière modification le : lundi 4 novembre 2024-14:40:08

Archivage à long terme le : samedi 23 février 2019-15:18:41

Télécharger pour visualiser

Dates et versions

hal-01931203 , version 1 (22-11-2018)

Identifiants

  • HAL Id : hal-01931203 , version 1

Citer

Davide Sangiorgi. Bisimilarity via unique-solution techniques. 19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy. ⟨hal-01931203⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR
84 Consultations
60 Téléchargements

Partager

More