We present a compositional model checking algorithm for Markov decision
...
Following our recent development of a compositional model checking algor...
In this paper, we introduce open parity games, which is a compositional
...
When we investigate a type system, it is helpful if we can establish the...