Edmond Schonberg

The Efficient Termination of Ada Tasks in a Distributed Environment
From Prototype to Efficient Implementation