ByNobleID
    Nominal domain theory for concurrency | NobleID