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:

Detalles Bibliográficos
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:	Probabilistic transition systems Weak bisimulations Logical characterization Transition relation over distributions Modal logics
Acceso en línea:	http://hdl.handle.net/11086/549079 http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.