线性与分支时间:复杂性理论视角| IEEE会议出版物| IEEE Xplore