Repositorios 2

Bisimulation 2 Borel space 2 Continuous probabilities 2 Logic 2 Logical characterization 2 Model Check 2 Nondeterministic Markov decision process 2 Probabilistic automaton 2 Transition probability function 2 Bisimilitud probabilista 1 Descriptive set theory 1 Labelled Markov processes 1 Logic in computer science 1 Lógicas no-clásicas 1 Measures and integrals in product spaces 1 Medidas e integrales en los espacios producto 1 Modal Logic 1 Modelos y métodos de computación concurrente y distribuida 1 Models and methods for concurrent and distributed computing 1 No-determinismo 1 Proceso de Markov etiquetado 1 Teoría de conjuntos descriptiva 1