ACP SubScript mapping

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)

 

Leave a Reply