### Resumé

Originalsprog | Engelsk |
---|---|

Tidsskrift | CEUR Workshop Proceedings |

Vol/bind | 1949 |

Sider (fra-til) | 126-137 |

ISSN | 1613-0073 |

Status | Udgivet - 2017 |

Begivenhed | 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic
co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N) - Naples, Italien Varighed: 26. sep. 2017 → 28. sep. 2017 |

### Konference

Konference | 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N) |
---|---|

Land | Italien |

By | Naples |

Periode | 26/09/2017 → 28/09/2017 |

### Fingeraftryk

### Citer dette

*CEUR Workshop Proceedings*,

*1949*, 126-137.

}

*CEUR Workshop Proceedings*, bind 1949, s. 126-137.

**Deciding Weak Weighted Bisimulation.** / Miculan, Marino; Peressotti, Marco.

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

TY - GEN

T1 - Deciding Weak Weighted Bisimulation

AU - Miculan, Marino

AU - Peressotti, Marco

PY - 2017

Y1 - 2017

N2 - Weighted labelled transition systems are LTSs whose transitions are given weights drawn from a commutative monoid, subsuming a wide range of systems with quantitative aspects. In this paper we extend this theory towards other behavioural equivalences, by considering semirings of weights. Taking advantage of this extra structure, we consider a general notion of weak weighted bisimulation, which coincides with the usual weak bisimulations in the cases of non-deterministic and fully-probabilistic systems. We present a general algorithm for deciding weak weighted bisimulation. The procedure relies on certain systems of linear equations over the semiring of weights hence it can be readily instantiated to a wide range of models. We prove that these systems admit a unique solution for ω-continuous semirings.

AB - Weighted labelled transition systems are LTSs whose transitions are given weights drawn from a commutative monoid, subsuming a wide range of systems with quantitative aspects. In this paper we extend this theory towards other behavioural equivalences, by considering semirings of weights. Taking advantage of this extra structure, we consider a general notion of weak weighted bisimulation, which coincides with the usual weak bisimulations in the cases of non-deterministic and fully-probabilistic systems. We present a general algorithm for deciding weak weighted bisimulation. The procedure relies on certain systems of linear equations over the semiring of weights hence it can be readily instantiated to a wide range of models. We prove that these systems admit a unique solution for ω-continuous semirings.

M3 - Conference article

VL - 1949

SP - 126

EP - 137

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -