3 ms·Weakening WebAssembly: Formal Semantics of a Concurrent Extension of WebAssembly1 points by iwillrunoutofsp 7y ago