Concept | ACP | SubScript |
Expression grouping | ( ) | [ ] |
Exclusive Choice | + | + |
Sequence | • whitespace | ; • whitespace |
Normal Parallelism | ║ | & |
And Parallelism, Or Parallelism | && | || | |
Disrupt | (special arrow) | / |
Interrupt | (special arrow) | %/ |
Deadlock Process | δ | [-] |
Empty Process | ε | [+] |
Neutral Process | [+-] | |
Atomic Actions | a b | {! !} {? ?} {* *} {. .} {… …} |
Current Position | here | |
Repetition | a*b ∑i ∏i ║i | ..? … while for break break?here.pass |
Communication | a|b = c | a,b = expression |
Send/receive declaration | s(i)|r(i) | c<–>(int i) = {! !} |
Send/receive usage | s(1)║ ∑i r(i) | c<-(1) & int i: c->(?i) |
Control Constructs | if b then x else y | |
v match (case 1 => x case _ => y) |