Simple programs in Ada 2005

(1) dekker : implementation of dekker's algorithm (2) semaphore : program illustrates synchronous snchronisation using semaphores