数据 F类 你好 呵 =F(FSP 你好 呵 ) 实例 StreamProcIO(流处理IO) F类 实例 福吉特IO F类 类型 福吉特 一 b =F 一 b 类型 FSP公司 你好 呵 = 服务提供商 (F事件 你好 )(F命令 呵 ) 类型 T事件=( 路径 , F响应 ) 类型 T命令=( 路径 , FR请求 ) 类型 FEvent公司 一 = 消息 T排气 一 类型 F命令 一 = 消息 T命令 一
数据 服务提供商 一 b =PutSP b ( 服务提供商 一 b )|获取SP( 一 -> 服务提供商 一 b )|NullSP
数据 消息 一 b =低 一 |高 b