Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

A Classification of Weak Asynchronous Models of Distributed Computing

 Javier Esparza , Fabian Reiter
CONCUR 2020, Aug 2020, Vienna, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.10⟩
Communication dans un congrès hal-03678065v1

Identifiers in Registers

 Benedikt Bollig , Patricia Bouyer , Fabian Reiter
22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19), Apr 2019, Prague, Czech Republic. pp.115-132, ⟨10.1007/978-3-030-17127-8_7⟩
Communication dans un congrès hal-02268084v1
Image document

Counter Machines and Distributed Automata

 Olivier Carton , Bruno Guillon , Fabian Reiter
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩
Communication dans un congrès hal-01824873v1

Emptiness problems for distributed automata

 Antti Kuusisto , Fabian Reiter
Information and Computation, 2020, 272, pp.104503. ⟨10.1016/j.ic.2019.104503⟩
Article dans une revue hal-03678048v1
Page :