You don't add types to state machines, however you can add typed ports and channels to actors. There is no requirement for a single inbox for messages. See komp

You don't add types to state machines, however you can add typed ports and channels to actors. There is no requirement for a single inbox for messages. See kompics http://www.springer.com/la/book/9783642450648 http://www.springer.com/la/book/9783642450648