Upper layer applications discover, establish and manage the QoS connectivity through a SIP that serves as a unified interface. The multiple steps of freezing and thawing are conducted in a mixture of about 0. This allows for applications and computing devices to communicate in environments where connectivity is prevented by intermediate systems. For example, the maximum upstream bandwidth may be enforced by a Dynamic Bandwidth Allocation algorithm. 15 wt % with respect to the cBN component, in an interior of cBN particles of the cBN sintered body and at a grain boundary between cBN particles, and a cutting tool in which this cBN sintered body is used for at least a portion involved in cutting. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic \u03c0-calculus processes.