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

• 它将并发进程描述为动作序列；其中动作可对应到规约级事件.