Confirmed users
699
edits
IPC Protocols: Difference between revisions
m
→Strawman transition grammar
| Line 84: | Line 84: | ||
Transition :: 'state' StateName '{' Actions '}' | Transition :: 'state' StateName '{' Actions '}' | ||
Actions :: (Action ';' | \epsilon) | Actions :: (Action ';' | \epsilon) | ||
Action :: MessageName ('!' | '?') '->' StateName | Action :: MessageName ('!' | '?') '->' StateName | ||