General information about IPC.
An IPC is sent by invoking a port.
Sequence numbering.
The Unofficial GNU Mach IPC beginner's guide