Report - Syntactic Control of Concurrency · tem Syntactic Control of Concurrency (SCC); it is a generalization of Serially Reentrant Algol (SRA), a type system introduced by Abramsky to identify

Please pass captcha verification before submit form