Search
Now showing items 1-1 of 1
(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 ...