A new natural structural congruence in the pi-calculus with replication (Q1889854): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q590927 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Damas Gruska / rank | |||
Normal rank | |||
Revision as of 18:04, 19 February 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
