An embedded language for programming protocol stacks in embedded systems.

Yan Wang, Vernica Gaspes

Browse the full PEPM paper archive.