Emptiness problems for distributed automata

Antti Kuusisto; Fabian Reiter

doi:10.1016/j.ic.2019.104503

Article Dans Une Revue Information and Computation Année : 2020

Emptiness problems for distributed automata

, (1)

1

Antti Kuusisto

Fonction : Auteur

Fabian Reiter

Fonction : Auteur
PersonId : 20376
IdHAL : fabian-reiter
ORCID : 0000-0003-1268-4107

Laboratoire d'Informatique Gaspard-Monge

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL] Logique [math.LO]

Fabian Reiter : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03678048

Soumis le : mercredi 25 mai 2022-10:36:22

Dernière modification le : lundi 1 juillet 2024-15:52:03

Dates et versions

hal-03678048 , version 1 (25-05-2022)

Identifiants

HAL Id : hal-03678048 , version 1
ARXIV : 1705.02609
DOI : 10.1016/j.ic.2019.104503

Citer

Antti Kuusisto, Fabian Reiter. Emptiness problems for distributed automata. Information and Computation, 2020, 272, pp.104503. ⟨10.1016/j.ic.2019.104503⟩. ⟨hal-03678048⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS LIGM_SIGNAL PARISTECH LIGM LIGM_MOA ANR UNIV-EIFFEL LIGM_BAAM LIGM_MMSID

42 Consultations

0 Téléchargements

Emptiness problems for distributed automata

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager