A Typing System for Privacy
Attributed to:
From Data Types to Session Types---A Basis for Concurrency and Distribution
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-05032-4_5
Publication URI: http://dx.doi.org/10.1007/978-3-319-05032-4_5
Type: Book Chapter
Book Title: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (2014)
Page Reference: 56-68
ISBN: 978-3-319-05031-7