Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results

Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari

Büchi automaton of records (BAR) has been proposed as a basic operational semantics for Reo coordination language. It is an extension of Büchi automaton by using a set of records a…