Permission-based separation logic for message-passing concurrency (talk)


Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk).

Download

[img] 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 Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 268620
Date Deposited: 13 Mar 2010 18:21
Last Modified: 27 Mar 2014 20:15
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268620

Actions (login required)

View Item View Item