Permission-based separation logic for message-passing concurrency (talk)
Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk).
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Presentation
Download (2155Kb) |
Description/Abstract
Talk given at LMU, Munich 14.1.09
| Item Type: | Other |
|---|---|
| Keywords: | talk, seminar, vsTalk |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 268620 |
| Date Deposited: | 13 Mar 2010 18:21 |
| Last Modified: | 01 Mar 2012 11:59 |
| Contributors: | Sassone, V. (Author) |
| Date: | 14 January 2009 |
| Status: | Unpublished |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/268620 |
Actions (login required)
 |
View Item |
