TY - RPRT TI - Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results AU - Mohammad Izadi AU - Saeed Masoudian AU - Sahand Mozaffari PY - 2015 UR - https://arxiv.org/abs/1511.05070 ID - 1511.05070 ER -