Title: Distributed Programming in Ada with Protected Objects