A type system extension for middleware interactions.

Sven De Labey, Eric Steegmans

Browse the full EuroSys paper archive.