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

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

Record type: Other

Abstract

Talk given at LMU, Munich 14.1.09

Text

ccsLogLMU.pdf - Other

Download (2MB)

Accepted/In Press date: 14 January 2009

Keywords: talk, seminar, vsTalk

Organisations: Web & Internet Science

Local EPrints ID: 268620

URI: http://eprints.soton.ac.uk/id/eprint/268620

PURE UUID: d2c15fd1-1d36-4414-97db-08b6838bcf49

ORCID for V. Sassone:

orcid.org/0000-0002-6432-1482

Date deposited: 13 Mar 2010 18:21

Last modified: 10 Sep 2024 01:40

Author: V. Sassone

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.