Weighted and branching bisimilarities from generalized open maps (Q6091200)
From MaRDI portal
scientific article; zbMATH DE number 7770343
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weighted and branching bisimilarities from generalized open maps |
scientific article; zbMATH DE number 7770343 |
Statements
Weighted and branching bisimilarities from generalized open maps (English)
0 references
24 November 2023
0 references
open maps
0 references
weighted bisimilarity
0 references
probabilistic bisimilarity
0 references
branching bisimilarity
0 references
weak bisimilarity
0 references
