A new natural structural congruence in the pi-calculus with replication (Q1889854): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| 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 | |||
Revision as of 20:04, 19 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
