A calculus and logic of bunched resources and processes - Sciweavers

89

Voted

more TCS 2016 ...

www.cantab.net

Tweet