Is timed branching bisimilarity a congruence indeed? (Q3601869)
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 5506904
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Is timed branching bisimilarity a congruence indeed? |
scientific article; zbMATH DE number 5506904 |
Statements
12 February 2009
0 references
0.9602192044258118
0 references
0.8042789697647095
0 references
0.7952072620391846
0 references
0.7727569341659546
0 references
0.7719025611877441
0 references
