Trace simulation semantics is not finitely based over BCCSP (Q5350148)
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 6766085
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Trace simulation semantics is not finitely based over BCCSP |
scientific article; zbMATH DE number 6766085 |
Statements
Trace Simulation Semantics is not Finitely Based over BCCSP (English)
0 references
25 August 2017
0 references
trace simulation preorder
0 references
complete axiomatizations
0 references
BCCSP
0 references
0.895305871963501
0 references
0.8422297835350037
0 references
0.8047475814819336
0 references
0.8036931753158569
0 references
