An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games