![](https://www.pdfsearch.io/img/d82aadc53ff9352f5650ec1123a77ed6.jpg) Date: 2011-05-16 14:07:07
| | PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of SouthampAdd to Reading ListSource URL: staff.um.edu.mtDownload Document from Source Website File Size: 498,79 KBShare Document on Facebook
|