Compositionality in the temporal logic of concurrent systems (extended abstract).评价结果

评估详情