Pages that link to "Item:Q3584942"
From MaRDI portal
The following pages link to Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (Q3584942):
Displaying 2 items.
The following pages link to Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (Q3584942):
Displaying 2 items.