Pages that link to "Item:Q2871830"
From MaRDI portal
The following pages link to A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle (Q2871830):
Displayed 2 items.
The following pages link to A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle (Q2871830):
Displayed 2 items.