André Arnold

Games for synthesis of controllers with partial observation

André Arnold, Aymeric Vincent, Igor Walukiewicz · Theoretical Computer Science · 2003 · 209 citations

Engineering, Computer Systems, Dynamical Systems +11

The AltaRica Formalism for Describing Concurrent Systems

André Arnold, Gérald Point, Alain Griffault et al. · Fundamenta Informaticae · 1999 · 163 citations

Engineering, Computer Science, Systems Engineering +16

A Log (N) Distributed Mutual Exclusion Algorithm Based on Path Reversal

Mohamed Naïmi, Michel Tréhel, André Arnold · Journal of Parallel and Distributed Computing · 1996 · 152 citations

Computing, Computer Engineering, Computer Science +9

The metric space of infinite trees. Algebraic and topological properties

André Arnold, Maurice Nivat · Fundamenta Informaticae · 1980 · 107 citations · Full text

Natural Sciences, Computer Science, Mathematics +15

Metric interpretations of infinite trees and semantics of non deterministic recursive programs

André Arnold, Maurice Nivat · Theoretical Computer Science · 1980 · 89 citations

Computing, Computer Science, Programming Languages +12