Relating modal refinements, covariant-contravariant simulations and partial bisimulations (Q2894568)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6051389
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relating modal refinements, covariant-contravariant simulations and partial bisimulations |
scientific article; zbMATH DE number 6051389 |
Statements
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations (English)
0 references
29 June 2012
0 references
0.7803261876106262
0 references
0.7458197474479675
0 references
0.7431264519691467
0 references
0.7375351786613464
0 references
