Linearity, persistence and testing semantics in the asynchronous pi-calculus (Q2864372)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Linearity, persistence and testing semantics in the asynchronous pi-calculus |
scientific article; zbMATH DE number 6236382
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Linearity, persistence and testing semantics in the asynchronous pi-calculus |
scientific article; zbMATH DE number 6236382 |
Statements
6 December 2013
0 references
asynchronous pi-calculus
0 references
linearity
0 references
persistence
0 references
testing semantics
0 references
Linearity, persistence and testing semantics in the asynchronous pi-calculus (English)
0 references
0.8138041496276855
0 references
0.8082742691040039
0 references
0.7491059899330139
0 references
0.7483325600624084
0 references
