P | ::= | (# n)P | (restriction) |
0 | (inactivity) | ||
P | ... | P | (composition) | ||
n[P] | (ambient) | ||
cap | (capability action) | ||
io | (input/output action) | ||
cap | ::= | in n.P | (can enter n) |
out n.P | (can exit n) | ||
open n.P | (can open n) | ||
!open n.P | (can duplicate itself before opening n) | ||
á n ñ | (async output action) | ||
io | ::= | (n).P | (input action) |
!(n).P | (input action with duplication) | ||
á n ñ | (async output action) | ||