Henk Goeman

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)
In this paper a direct combination of the-calculus with concepts from concurrency is introduced. Abstraction and (self)application from the-calculus are maintained as primitive constructs in the combined calculus, which incorporates also notions of (non)deterministic choice, concurrent and sequential composition, communication, encapsulation and hiding as(More)
  • 1