A new natural structural congruence in the pi-calculus with replication (Q1889854): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
| (4 intermediate revisions by 4 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/s00236-004-0141-3 / rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: SLMC / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00236-004-0141-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2029787555 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/S00236-004-0141-3 / rank | |||
Normal rank | |||
Latest revision as of 12:07, 16 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new natural structural congruence in the pi-calculus with replication |
scientific article |
Statements
A new natural structural congruence in the pi-calculus with replication (English)
0 references
13 December 2004
0 references
A new structural congruence for pi-calculus with replication is investigated. It is called ``middle'' and it is obtained from the law for replication \((!P \equiv !P | P )\) which is replaced by \((!(P| Q) \equiv !(P | Q)| P )\). This congruence is slightly weaker than the standard one but stronger than the extended congruence investigated before by the authors. It is shown that the middle congruence has the same desirable properties as extended congruence: it is decidable and it has a concrete multiset semantics.
0 references
pi-calculus
0 references
replication
0 references
structural congruence
0 references
multiset semantics
0 references
