Abstruction -> great but some detail is ignored
virtualization :When something is virtualized, its interface and all resources visible through the interface are mapped onto the interface and resource of a real system actually implementing it
isomorphism
architecture :The architecture is often formally described through a specification
of an interface and the logical behavior of resources manipulated via the inter-
face.