ByNobleID
    Multi-token resource sharing for pipelined asynchronous systems | NobleID