Implementing mode changes with shared resources in Ada.

Jorge Real, Andy J. Wellings

Browse the full ECRTS paper archive.