← Specification of Communication Stack Types