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

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

Hajar Abedi, Mohammad Izadi

Abstract

Keywords

References