Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.评价结果

评估详情

6