Supporting Ada in a distributed environment

This paper describes a set of tools which support a pre-partitioning approach to programming distributed systems in Ada. It also considers how these tools can be modified to support fault-tolerant applications.