 | 1996 |
|---|
| 5 |       | Annie Choquet,
Dominique Geniet,
Francis Cottet:
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.
FTRTFT 1996: 246-262 |
| 1991 |
|---|
| 4 |  | Joffroy Beauquier,
Annie Choquet,
Antoine Petit,
Guy Vidal-Naquet:
Detection of Deadlocks in an Infinite Family of Nets.
STACS 1991: 334-347 |
| 1989 |
|---|
| 3 | | Joffroy Beauquier,
Annie Choquet,
Antoine Petit,
Guy Vidal-Naquet:
Syntactical Properties of Unbounded Nets of Processors.
TAPSOFT, Vol.1 1989: 119-133 |
| 1987 |
|---|
| 2 | | Alain Finkel,
Annie Choquet:
Fifo Nets Without Order Deadlock.
Acta Inf. 25(1): 15-36 (1987) |
| 1986 |
|---|
| 1 | | Annie Choquet,
Alain Finkel:
Applications of residues for the analysis of parallel systems communicating by fifo channels.
Bulletin of the EATCS 30: 44-56 (1986) |
