Annie Choquet

Publication Activity (10 Years)

Years Active: 1986-1996
Publications (10 Years): 0

Publications

Annie Choquet, Dominique Geniet, Francis Cottet
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application. FTRTFT (1996)
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
Detection of Deadlocks in an Infinite Family of Nets. STACS (1991)
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 (1989)
Alain Finkel, Annie Choquet
Fifo Nets Without Order Deadlock. Acta Informatica 25 (1) (1988)
Annie Choquet, Alain Finkel
Applications of residues for the analysis of parallel systems communicating by fifo channels. Bull. EATCS 30 (1986)