FSP describes concurrent processes as action sequences, where an action can be mapped to a specification-level event.
英
美
它将并发进程描述为动作序列;其中动作可对应到规约级事件.
目录
查词历史
英 汉