Samuel Cavoj

According to our database, Samuel Cavoj authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Session Types for the Transport Layer: Towards an Implementation of TCP.

Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024