Rob T. Udink

Learn More
The ImpUNITY framework is an extension of the UNITY framework. It contains several program structuring mechanisms and puts special emphasis on compositional reenement of both speciications and programs. It has an associated temporal logic, formal reenement notions, and program transformation rules. In this paper we show how coordination in the form of a(More)
Stepwise reenement of programs has proven to be a suitable method for developing parallel and distributed programs. We examine and compare a number of diierent notions of program reenement for Unity. Two of these notions are based on execution sequences. Reenement corresponds to the reduction of the set of execution sequences, i.e. reducing the amount of(More)
We use the ImpUNITY framework to solve the \RPC-Memory Speciication problem" of the Dagstuhl Workshop on reactive systems. ImpUNITY supports the development of parallel and distributed programs from speciication to implementation in a stepwise manner. It is an extension of UNITY, as introduced by Chandy and Misra, with features of the Action System(More)