BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Disjoint Semirings for Fractional Permissions - Aquinas Hobor\, Na
 tional University of Singapore
DTSTART:20170601T123000Z
DTEND:20170601T131500Z
UID:TALK72791@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:Fractional permissions are frequently used in concurrent verif
 ication to track shared ownership of resources.  Most recent uses of fract
 ional permissions assumes only an additive structure for shares (e.g. as s
 eparation algebras).  We show the benefits of using a multiplicative struc
 ture (i.e. a kind of semiring) and discuss the logical and computational c
 onsequences of this choice.
LOCATION:FW11
END:VEVENT
END:VCALENDAR