TCOS

IEEE Technical Committee on Operating Systems