Alain Finkel Annie Choquet Fifo Nets Without Order Deadlock. 15-36 1987 25 Acta Inf. 1 db/journals/acta/acta25.html#FinkelC87