Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels

Abedi,H. and Izadi,M. (2014). Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels. (e215871). The CSI Journal on Computer Science and Engineering, 12(3), e215871

Abedi,H. , and Izadi,M. . "Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels" .e215871 , The CSI Journal on Computer Science and Engineering, 12, 3, 2014, e215871.

Abedi H., Izadi M. (2014). 'Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels', The CSI Journal on Computer Science and Engineering, 12(3), e215871.

H. Abedi and M. Izadi, "Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels," The CSI Journal on Computer Science and Engineering, 12 3 (2014): e215871,

Abedi H., Izadi M. Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels. CSIonJCSE, 2014; 12(3): e215871.