Supporting Reliable Distributed Systems in Ada 9X

The Ada programming language was designed to provide support for a wide range of safety-critical applications within a unified language framework, but it is ...