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

Filter your results

4 results
Image document

A Gauge-Invariant Reversible Cellular Automaton

Pablo Arrighi , Giuseppe Di Molfetta , Nathanaël Eon
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.1-12, ⟨10.1007/978-3-319-92675-9_1⟩
Conference papers hal-01824869v1
Image document

Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures

Pedro Paulo Balbi , Enrico Formenti , Kévin Perrot , Sara Riva , Eurico Ruivo
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.14-28, ⟨10.1007/978-3-030-61588-8_2⟩
Conference papers hal-03659470v1
Image document

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard , Luca Aceto , Antonis Achilleos , Adrian Francalanza , Anna Ingólfsdóttir , et al.
41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩
Conference papers hal-03320023v1
Image document

Any Shape Can Ultimately Cross Information on Two-Dimensional Abelian Sandpile Models

Viet-Ha Nguyen , Kévin Perrot
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.127-142, ⟨10.1007/978-3-319-92675-9_10⟩
Conference papers hal-01824872v1