Supporting Dynamics Multiagent Systems on THOMAS. - Alfonso Machado; Vicente Julián (PAAMS (Special Sessions), 2011)