诉讼程序属于程序性法律程序中的公力救济型程序。一般而言,诉讼程序可以解释为司法机关和案件当事人在其他诉讼参与人的配合下为解决案件而分阶段又相连贯地顺次进行的全部活动以及由此产生的诉讼关系的总和。
诉讼中止是指在诉讼过程中,诉讼程序因特殊情况的发生而中途停止的一种法律制度。
当事人违反约定将仲裁协议范围内的争议提起诉讼,法院应拒绝受理或中止诉讼程序,以支持仲裁。但是,法院是应主动中止诉讼程序,还是只能应对方当事人的请求中止诉讼程序,以及法院基于何种理由中止或拒绝中止诉讼程序,都是需要加以研究和明确的问题。
根据仲裁国际立法、国内立法以及实践,一方当事人就仲裁协议范围内的争议提起诉讼,只有在另一方当事人提出执行该仲裁协议的请求时,法院才能中止诉讼程序。换言之,法院一般只依据当事人的申请中止诉讼程序,而不主动依职权中止诉讼程序。在起草1958年《关于承认及执行外国仲裁裁决的公约》(以下简称《纽约公约》)的过程中,英国代表曾经建议,法院不仅可以依当事人的申请而且可以自行决定将争议交付仲裁。英国的建议遭到了以土耳其、以色列为代表的多数国家的反对,他们认为,仲裁协议的双方当事人愿意将争议交给法院审理时,法院不应享有强制仲裁的权力。最后,《纽约公约》采纳了当前的条文,不允许法院自行中止诉讼程序。