Abstract
Weighted labelled transition systems (WLTSs) are an established (meta-)model aiming to provide general results and tools for a wide range of systems such as non-deterministic, stochastic, and probabilistic systems. In order to encompass processes combining several quantitative aspects, extensions of the WLTS framework have been further proposed, state-to-function transition systems (FuTSs) and uniform labelled transition systems (ULTraSs) being two prominent examples. In this paper we show that this hierarchy of meta-models collapses when studied under the lens of bisimulation-coherent encodings.
| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 1720 |
| Pages (from-to) | 88-102 |
| Number of pages | 15 |
| ISSN | 1613-0073 |
| Publication status | Published - 1. Jan 2016 |
| Externally published | Yes |
| Event | 17th Italian Conference on Theoretical Computer Science, ICTCS 2016 - Lecce, Italy Duration: 7. Sept 2016 → 9. Sept 2016 |
Conference
| Conference | 17th Italian Conference on Theoretical Computer Science, ICTCS 2016 |
|---|---|
| Country/Territory | Italy |
| City | Lecce |
| Period | 07/09/2016 → 09/09/2016 |
| Sponsor | Department of Mathematics and Physics "Ennio De Giorgi", Fondazione Puglia, Italian Chapter of the European Association of Theoretical Computer Science (EATCS), University of Salento |
Keywords
- Behavioural theory
- Coalgebraic semantics
- Coinduction
- Process calculi
- Quantitative methods
- Quantitative models
- Formal methods