Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'Informatique de Grenoble
labStructName_s : Institut Élie Cartan de Lorraine
Image document

Monotonic Prefix Consistency in Distributed Systems

Alain Girault , Gregor Gössler , Rachid Guerraoui , Jad Hamza , Dragos-Adrian Seredinschi
FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Conference papers hal-01824817v1
Image document

Construction of Some Nonautomatic Sequences by Cellular Automata

Irène Marcovici , Thomas Stoll , Pierre-Adrien Tahay
AUTOMATA 2018 - 24th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.113-126, ⟨10.1007/978-3-319-92675-9_9⟩
Conference papers hal-01824876v1