Changes

Jump to: navigation, search

IPC Protocols

2 bytes added, 11:07, 15 May 2009
m
Strawman transition grammar
Transition :: 'state' StateName '{' Actions '}'
Actions :: (Action ';' | \epsilon)
Action :: MessageName ('!' | '?') '->' StateName
Confirm
699
edits

Navigation menu