Deriving Bisimulations by Simplifying Partitions (Q5452714)
From MaRDI portal
scientific article; zbMATH DE number 5259563
Language | Label | Description | Also known as |
---|---|---|---|
English | Deriving Bisimulations by Simplifying Partitions |
scientific article; zbMATH DE number 5259563 |
Statements
Deriving Bisimulations by Simplifying Partitions (English)
0 references
4 April 2008
0 references