Logical characterization of bisimulation for transition relations over probability distributions with internal actions
Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.
Guardado en:
| Autores principales: | Lee, Matías David, de Vink, Erik P. |
|---|---|
| Otros Autores: | https://orcid.org/0000-0001-9514-2260 |
| Formato: | publishedVersion conferenceObject |
| Lenguaje: | Inglés |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/549079 http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29 |
| Aporte de: |
Ejemplares similares
-
Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022) -
Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022) -
A theory for the semantics of stochastic and non-deterministic continuous systems
por: Budde, Carlos Esteban, et al.
Publicado: (2021) -
A theory for the semantics of stochastic and non-deterministic continuous systems
por: Budde, Carlos Esteban, et al.
Publicado: (2021) -
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
por: Areces, C., et al.