Now showing items 1-1 of 1

  • Grabe, Immo; Steffen, Martin; Torjussen, Arild B. (Research report / Forskningsrapport, 2008)
    Creol is a high-level, object-oriented language for distributed systems, featuring active objects and asynchronous method calls. In this paper we present a behavioral interface speci cation language over communication trace ...