Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules

Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Bibliographic Details
Main Authors: D'Argenio, Pedro Ruben, Gebler, Daniel, Lee, Matías David
Format: publishedVersion
Language:eng
Published: 2023
Subjects:
Online Access:http://hdl.handle.net/11086/30135
http://dx.doi.org/10.1007/978-3-642-54830-7_19
Description
Summary:Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.