A new natural structural congruence in the pi-calculus with replication (Q1889854): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 05:07, 5 March 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
