The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.评价结果

评估详情