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


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

Download

[img] PDF ccsLogLMU.pdf - Other
Download (2MB)

Description/Abstract

Talk given at LMU, Munich 14.1.09

Item Type: Other
Keywords: talk, seminar, vsTalk
Organisations: Web & Internet Science
ePrint ID: 268620
Date :
Date Event
14 January 2009Accepted/In Press
Date Deposited: 13 Mar 2010 18:21
Last Modified: 17 Apr 2017 18:30
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268620

Actions (login required)

View Item View Item