VL01 通信系统演算,CCS,informal
actions
a port name: a‾\overline{a}a
output on port a: a‾\overline{a}a
Inaction, prefixing and recursive definitions
no action: process 0
action prefixing: a.0. If P is a process and a is a label, the...
原创
2020-05-06 16:12:35 ·
375 阅读 ·
0 评论