7 lines (5 loc) · 347 Bytes

SessionTS-Benchmarks

Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.

Refer to Chapter 10.4 of the project report for details.