Shai Mermelstein

According to our database, Shai Mermelstein authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Compositional Semantics for Shared-Variable Concurrency.

Mikhail Svyatlovskiy, Shai Mermelstein, Ori Lahav

Proc. ACM Program. Lang., 2024