Transitivity and Difunctionality of Bisimulations (Q5739448)
From MaRDI portal
scientific article; zbMATH DE number 6603964
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transitivity and Difunctionality of Bisimulations |
scientific article; zbMATH DE number 6603964 |
Statements
Transitivity and Difunctionality of Bisimulations (English)
0 references
15 July 2016
0 references
