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

Project Details

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