A new natural structural congruence in the pi-calculus with replication (Q1889854): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
| (One intermediate revision by the same user not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/s00236-004-0141-3 / 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
