Metrics for weighted transition systems: Axiomatization and complexity

On the regularization of Zeno hybrid automata

Karl Henrik Johansson, Magnus Egerstedt, John Lygeros et al. · Systems & Control Letters · 1999 · 555 citations · Full text

Computing, Computer Science, Mathematics +10

The complexity of stochastic games

Anne Condon · Information and Computation · 1992 · 518 citations

Engineering, Computer Science, Mathematics +12

A complete inference system for a class of regular behaviours

Robin Milner · Journal of Computer and System Sciences · 1984 · 319 citations · Full text

Computing, Computer Science, Mathematics +8

Metrics for labelled Markov processes

Josée Desharnais, Vineet Gupta, Radha Jagadeesan et al. · Theoretical Computer Science · 2003 · 309 citations

Engineering, Computer Science, Mathematics +4

CCS expressions, finite state processes, and three problems of equivalence

Paris C. Kanellakis, Scott A. Smolka · 1983 · 125 citations · Full text

Computing, Computer Science, Computer Systems +12