A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Quantitative Kleene coalgebras
Information and Computation
Hi-index | 0.01 |