Browsing by Author Sassone, Vladimiro
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) |
---|---|---|
2011 | Permission-based separation logic for message-passing concurrency | Francalanza, Adrian; Rathke, Julian; Sassone, Vladimiro |