Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Moroni, Martín Santiago"'
We provide a fine classification of bisimilarities between states of possibly different labelled Markov processes (LMP). We show that a bisimilarity relation proposed by Panangaden that uses direct sums coincides with "event bisimilarity" from his jo
Externí odkaz:
http://arxiv.org/abs/2401.09273
There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou'
Externí odkaz:
http://arxiv.org/abs/2005.03630
Publikováno v:
Review of Symbolic Logic; Dec2023, Vol. 16 Issue 4, p1011-1032, 22p
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
La siguiente propuesta tiene por objetivo introducir conceptos básicos del análisis diferencial. Está destinada a estudiantes de los últimos años de nivel secundario, de nivel terciario o de los primeros años de nivel universitario. Puede ser t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54c1744f5dcf347acc4deb9d680e7a8f
https://revistas.unc.edu.ar/index.php/REM/article/view/18371
https://revistas.unc.edu.ar/index.php/REM/article/view/18371