From computing to interaction: on the expressiveness of asynchronous pi-calculus (Q2856009)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6218361
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From computing to interaction: on the expressiveness of asynchronous pi-calculus |
scientific article; zbMATH DE number 6218361 |
Statements
23 October 2013
0 references
asynchronous pi-calculus
0 references
interaction completeness
0 references
model independent equality
0 references
subbisimilarity
0 references
From computing to interaction: on the expressiveness of asynchronous pi-calculus (English)
0 references
0.7641770839691162
0 references
0.7464802265167236
0 references
0.7351565361022949
0 references
0.7343038320541382
0 references
0.7333636283874512
0 references
