Re: [Boost-users] [Statechart] How to decide between post_eventand process_eventatrun time ?