Search All Articles

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