Reachability in Distributed Memory Automata - Laboratoire Méthodes Formelles Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Reachability in Distributed Memory Automata

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
csl-2021.pdf (592.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02983089

Soumis le : dimanche 15 août 2021-17:36:35

Dernière modification le : vendredi 17 mai 2024-16:22:03

Archivage à long terme le : mardi 16 novembre 2021-18:07:26

Télécharger pour visualiser

Dates et versions

hal-02983089 , version 1 (15-08-2021)

Identifiants

Citer

Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier. Reachability in Distributed Memory Automata. Computer Science Logic (CSL) 2021, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.13⟩. ⟨hal-02983089⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY UP-SCIENCES ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF IRIF
67 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More