Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (Q3584942)
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 5776473
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus |
scientific article; zbMATH DE number 5776473 |
Statements
Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (English)
0 references
31 August 2010
0 references
0.9142803
0 references
0.9020343
0 references
0.8967693
0 references
0.89676917
0 references
0.8858801
0 references
0.88358396
0 references
0.8802198
0 references
0.8802198
0 references
0.8796518
0 references
0.8792101
0 references
