We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the pro...

Cylindrical Frictional Damper (CFD) is a new revolutionary frictional based mechanical damper. Unlike the other types of frictional dampers, CFDs do not utilize bolts to produce friction between contact surfaces. These dampers consist of two main parts, the inner shaft and the external cylinder. These two parts are assembled such that one is shrink-fitted inside the other. In this investigation...