Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q130877117, #quickstatements; #temporary_batch_1731343494890 |
||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q130877117 / rank | |||
Normal rank | |||
Latest revision as of 17:45, 11 November 2024
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
