Trace-Net++: A Process Calculus for Blockchain State-channels

    Project Details

    StatusActive
    Effective start/end date01/06/202031/05/2023