Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368)
From MaRDI portal
scientific article; zbMATH DE number 7628977
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? |
scientific article; zbMATH DE number 7628977 |
Statements
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (English)
0 references
8 December 2022
0 references
equational logic
0 references
CCS
0 references
bisimulation
0 references
parallel composition
0 references
non-finitely based algebras
0 references
0 references
0 references
0 references
0 references
