Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by O. Tardieu
R-Shim: Deterministic Concurrency With Recursion and Shared Variables
