Reasoning about Probabilistic Lossy Channel Systems.

Parosh Aziz Abdulla Christel Baier S. Purushothaman Iyer Bengt Jonsson

Published in: CONCUR (2000)

Keyphrases

multi channel
management system
knowledge based systems
qualitative reasoning
real time
artificial intelligence
expert systems
distributed systems
intelligent systems
generative model
building blocks
uncertain data
communication channels