FSP describes concurrent processes as action sequences, where an action can be mapped to a specification-level event.

 
  • 它将并发进程描述为动作序列;其中动作可对应到规约级事件.
今日热词
目录 附录 查词历史