Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels Hajar Abedi, Mohammad Izadi Abstract Keywords References