Search All Articles

Search by:
Probabilistic Büchi Automata of Records: Semantics of Coordinating Systems with Uncertain Channels
An Efficient Model Checking Algorithm for a Fragment of μ-Calculus