pith. sign in

Ross Horne

Identifiers

No identifiers captured yet.

Papers (2)

  1. A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties cs.CR · 2018 · author #1
  2. Generating Witness of Non-Bisimilarity for the pi-Calculus cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors