#### Filter Results:

- Full text PDF available (16)

#### Publication Year

1961

2012

- This year (0)
- Last 5 years (1)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- André Arnold
- Prentice Hall international series in computer…
- 1994

A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the finite transition systems semantics of communicating… (More)

- André Arnold, Max Dauchet
- Theor. Comput. Sci.
- 1982

- Mohamed Naimi, Michel Tréhel, André Arnold
- J. Parallel Distrib. Comput.
- 1996

In this paper, we present a distributed algorithm for mutual exclusion based on path reversal. The algorithm does not use logical clocks to serialize the concurrent events, and all the variables are bounded. When a process invokes a critical section, it sends a request to the tail of a queue. A dynamical rooted tree gives the path to this tail. The… (More)

- André Arnold, Aymeric Vincent, Igor Walukiewicz
- Theor. Comput. Sci.
- 2003

The synthesis of controllers for discrete event systems, as introduced by Ramadge and Wonham, amounts to computing winning strategies in parity games. We show that in this framework it is possible to extend the specifications of the supervised systems as well as the constraints on the controllers by expressing them in the modal μ-calculus. In order to… (More)

- André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy
- Fundam. Inform.
- 1999

- André Arnold, Maurice Nivat
- Theor. Comput. Sci.
- 1980

- André Arnold, Paul Crubillé
- Inf. Process. Lett.
- 1988

- André Arnold, Maurice Nivat
- Fundam. Inform.
- 1980

- André Arnold
- Theor. Comput. Sci.
- 1985

- André Arnold, Max Dauchet
- ICALP
- 1976