Maintaining Connections

Described here are the various predicates for creating and destroying connections to other processes.