A Logical Interface Description Language for Components.

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Browse the full Coordination paper archive.